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