Package tools.refinery.store.reasoning.representation

Interface PartialSymbol<A extends AbstractValue<A,C>,C>

All Superinterfaces:

AnyPartialSymbol

All Known Implementing Classes:

PartialFunction, PartialRelation

public sealed interface PartialSymbol<A extends AbstractValue<A,C>,C>
extends AnyPartialSymbol
permits PartialFunction<A,C>, PartialRelation

Method Summary

Modifier and Type	Method	Description
AbstractDomain<A,C>	abstractDomain()
default PartialFunction<A,C>	asPartialFunction()
A	defaultValue()
static PartialRelation	of(String name, int arity)
static <A extends AbstractValue<A, C>, C> PartialFunction<A,C>	of(String name, int arity, AbstractDomain<A,C> abstractDomain)

Methods inherited from interface tools.refinery.store.reasoning.representation.AnyPartialSymbol

arity, asPartialRelation, name

Method Details

abstractDomain

AbstractDomain<A,C> abstractDomain()

Specified by:

abstractDomain in interface AnyPartialSymbol

defaultValue

A defaultValue()

of

static PartialRelation of(String name,
 int arity)

of

static <A extends AbstractValue<A,
C>,
C>
PartialFunction<A,C> of(String name,
 int arity,
 AbstractDomain<A,C> abstractDomain)

asPartialFunction

default PartialFunction<A,C> asPartialFunction()

Specified by:

asPartialFunction in interface AnyPartialSymbol