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
-
Method Summary
-
Field Details
-
INSTANCE
-
-
Method Details
-
abstractType
- Specified by:
abstractType
in interfaceAbstractDomain<CardinalityInterval,
Integer> - Specified by:
abstractType
in interfaceAnyAbstractDomain
-
concreteType
- Specified by:
concreteType
in interfaceAbstractDomain<CardinalityInterval,
Integer> - Specified by:
concreteType
in interfaceAnyAbstractDomain
-
unknown
- Specified by:
unknown
in interfaceAbstractDomain<CardinalityInterval,
Integer>
-
error
- Specified by:
error
in interfaceAbstractDomain<CardinalityInterval,
Integer>
-
toAbstract
- Specified by:
toAbstract
in interfaceAbstractDomain<CardinalityInterval,
Integer>
-