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

Modifier and Type	Field	Description
static final IntIntervalDomain	INSTANCE

Method Summary

Modifier and Type	Method	Description
Class<IntInterval>	abstractType()
Class<BigInteger>	concreteType()
IntInterval	error()
IntInterval	negativeInfinity()
IntInterval	positiveInfinity()
IntInterval	toAbstract(BigInteger concreteValue)
IntInterval	unknown()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

INSTANCE

public static final IntIntervalDomain INSTANCE

Method Details

abstractType

public Class<IntInterval> abstractType()

Specified by:

abstractType in interface AbstractDomain<IntInterval, BigInteger>

Specified by:

abstractType in interface AnyAbstractDomain

concreteType

public Class<BigInteger> concreteType()

Specified by:

concreteType in interface AbstractDomain<IntInterval, BigInteger>

Specified by:

concreteType in interface AnyAbstractDomain

unknown

public IntInterval unknown()

Specified by:

unknown in interface AbstractDomain<IntInterval, BigInteger>

error

public IntInterval error()

Specified by:

error in interface AbstractDomain<IntInterval, BigInteger>

toAbstract

public IntInterval toAbstract(BigInteger concreteValue)

Specified by:

toAbstract in interface AbstractDomain<IntInterval, BigInteger>

negativeInfinity

public IntInterval negativeInfinity()

Specified by:

negativeInfinity in interface ComparableAbstractDomain<IntInterval, BigInteger>

positiveInfinity

public IntInterval positiveInfinity()

Specified by:

positiveInfinity in interface ComparableAbstractDomain<IntInterval, BigInteger>