Package tools.refinery.logic
Interface AbstractDomain<A extends AbstractValue<A,C>,C>
- All Superinterfaces:
AnyAbstractDomain
- All Known Subinterfaces:
ComparableAbstractDomain<A,C>
- All Known Implementing Classes:
CardinalityDomain,IntIntervalDomain,RealIntervalDomain,StringDomain,TruthValueDomain
public non-sealed interface AbstractDomain<A extends AbstractValue<A,C>,C>
extends AnyAbstractDomain
-
Method Summary
-
Method Details
-
abstractType
- Specified by:
abstractTypein interfaceAnyAbstractDomain
-
concreteType
- Specified by:
concreteTypein interfaceAnyAbstractDomain
-
unknown
A unknown() -
error
A error() -
toAbstract
-