Interface AnyPartialSymbol
- All Known Subinterfaces:
AnyPartialFunction
,PartialSymbol<A,
C>
- All Known Implementing Classes:
PartialFunction
,PartialRelation
-
Method Summary
-
Method Details
-
name
String name() -
arity
int arity() -
abstractDomain
AnyAbstractDomain abstractDomain()
-