Package tools.refinery.store.reasoning.representation

Interface AnyPartialSymbol

All Known Subinterfaces:

AnyPartialFunction, PartialSymbol<A,C>

All Known Implementing Classes:

PartialFunction, PartialRelation

public sealed interface AnyPartialSymbol
permits AnyPartialFunction, PartialSymbol<A,C>

Method Summary

Modifier and Type	Method	Description
AnyAbstractDomain	abstractDomain()
int	arity()
default AnyPartialFunction	asPartialFunction()
default PartialRelation	asPartialRelation()
String	name()

Method Details

name

String name()

arity

int arity()

abstractDomain

AnyAbstractDomain abstractDomain()

asPartialRelation

default PartialRelation asPartialRelation()

asPartialFunction

default AnyPartialFunction asPartialFunction()