Class RealIntervalDomain

java.lang.Object

tools.refinery.logic.term.realinterval.RealIntervalDomain

All Implemented Interfaces:

AbstractDomain<RealInterval, BigDecimal>, AnyAbstractDomain, ComparableAbstractDomain<RealInterval, BigDecimal>

public class RealIntervalDomain
extends Object
implements ComparableAbstractDomain<RealInterval, BigDecimal>

Field Summary

Fields

Modifier and Type	Field	Description
static final RealIntervalDomain	INSTANCE

Method Summary

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

Methods inherited from class Object

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

Field Details

INSTANCE

public static final RealIntervalDomain INSTANCE

Method Details

abstractType

public Class<RealInterval> abstractType()

Specified by:

abstractType in interface AbstractDomain<RealInterval, BigDecimal>

Specified by:

abstractType in interface AnyAbstractDomain

concreteType

public Class<BigDecimal> concreteType()

Specified by:

concreteType in interface AbstractDomain<RealInterval, BigDecimal>

Specified by:

concreteType in interface AnyAbstractDomain

unknown

public RealInterval unknown()

Specified by:

unknown in interface AbstractDomain<RealInterval, BigDecimal>

error

public RealInterval error()

Specified by:

error in interface AbstractDomain<RealInterval, BigDecimal>

toAbstract

public RealInterval toAbstract(BigDecimal concreteValue)

Specified by:

toAbstract in interface AbstractDomain<RealInterval, BigDecimal>

negativeInfinity

public RealInterval negativeInfinity()

Specified by:

negativeInfinity in interface ComparableAbstractDomain<RealInterval, BigDecimal>

positiveInfinity

public RealInterval positiveInfinity()

Specified by:

positiveInfinity in interface ComparableAbstractDomain<RealInterval, BigDecimal>