Class CardinalityDomain
java.lang.Object
tools.refinery.logic.term.cardinalityinterval.CardinalityDomain
- All Implemented Interfaces:
AbstractDomain<CardinalityInterval, Integer>, AnyAbstractDomain
public class CardinalityDomain
extends Object
implements AbstractDomain<CardinalityInterval, Integer>
-
Field Summary
Fields -
Method Summary
-
Field Details
-
INSTANCE
-
-
Method Details
-
abstractType
- Specified by:
abstractTypein interfaceAbstractDomain<CardinalityInterval, Integer>- Specified by:
abstractTypein interfaceAnyAbstractDomain
-
concreteType
- Specified by:
concreteTypein interfaceAbstractDomain<CardinalityInterval, Integer>- Specified by:
concreteTypein interfaceAnyAbstractDomain
-
unknown
- Specified by:
unknownin interfaceAbstractDomain<CardinalityInterval, Integer>
-
error
- Specified by:
errorin interfaceAbstractDomain<CardinalityInterval, Integer>
-
toAbstract
- Specified by:
toAbstractin interfaceAbstractDomain<CardinalityInterval, Integer>
-