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()
String	name()

Method Details

name

String name()

arity

int arity()

abstractDomain

AnyAbstractDomain abstractDomain()