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 TypeMethodDescriptionstatic PartialRelation
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, name
-
Method Details
-
abstractDomain
AbstractDomain<A,C> abstractDomain()- Specified by:
abstractDomain
in interfaceAnyPartialSymbol
-
defaultValue
A defaultValue() -
of
-
of
static <A extends AbstractValue<A,C>, PartialFunction<A,C> C> of(String name, int arity, AbstractDomain<A, C> abstractDomain)
-