Package tools.refinery.logic.term.truthvalue

Class TruthValueDomain

java.lang.Object

tools.refinery.logic.term.truthvalue.TruthValueDomain

All Implemented Interfaces:

AbstractDomain<TruthValue,Boolean>, AnyAbstractDomain, ComparableAbstractDomain<TruthValue,Boolean>

public final class TruthValueDomain
extends Object
implements ComparableAbstractDomain<TruthValue,Boolean>

Field Summary

Fields

Modifier and Type	Field	Description
static final TruthValueDomain	INSTANCE

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

INSTANCE

public static final TruthValueDomain INSTANCE

Method Details

abstractType

public Class<TruthValue> abstractType()

Specified by:

abstractType in interface AbstractDomain<TruthValue,Boolean>

Specified by:

abstractType in interface AnyAbstractDomain

concreteType

public Class<Boolean> concreteType()

Specified by:

concreteType in interface AbstractDomain<TruthValue,Boolean>

Specified by:

concreteType in interface AnyAbstractDomain

unknown

public TruthValue unknown()

Specified by:

unknown in interface AbstractDomain<TruthValue,Boolean>

error

public TruthValue error()

Specified by:

error in interface AbstractDomain<TruthValue,Boolean>

toAbstract

public TruthValue toAbstract(Boolean concreteValue)

Specified by:

toAbstract in interface AbstractDomain<TruthValue,Boolean>

negativeInfinity

public TruthValue negativeInfinity()

Specified by:

negativeInfinity in interface ComparableAbstractDomain<TruthValue,Boolean>

positiveInfinity

public TruthValue positiveInfinity()

Specified by:

positiveInfinity in interface ComparableAbstractDomain<TruthValue,Boolean>