Class IntIntervalDomain
java.lang.Object
tools.refinery.logic.term.intinterval.IntIntervalDomain
- All Implemented Interfaces:
AbstractDomain<IntInterval, BigInteger>, AnyAbstractDomain, ComparableAbstractDomain<IntInterval, BigInteger>
public class IntIntervalDomain
extends Object
implements ComparableAbstractDomain<IntInterval, BigInteger>
-
Field Summary
Fields -
Method Summary
-
Field Details
-
INSTANCE
-
-
Method Details
-
abstractType
- Specified by:
abstractTypein interfaceAbstractDomain<IntInterval, BigInteger>- Specified by:
abstractTypein interfaceAnyAbstractDomain
-
concreteType
- Specified by:
concreteTypein interfaceAbstractDomain<IntInterval, BigInteger>- Specified by:
concreteTypein interfaceAnyAbstractDomain
-
unknown
- Specified by:
unknownin interfaceAbstractDomain<IntInterval, BigInteger>
-
error
- Specified by:
errorin interfaceAbstractDomain<IntInterval, BigInteger>
-
toAbstract
- Specified by:
toAbstractin interfaceAbstractDomain<IntInterval, BigInteger>
-
negativeInfinity
- Specified by:
negativeInfinityin interfaceComparableAbstractDomain<IntInterval, BigInteger>
-
positiveInfinity
- Specified by:
positiveInfinityin interfaceComparableAbstractDomain<IntInterval, BigInteger>
-