Class TruthValueDomain
java.lang.Object
tools.refinery.logic.term.truthvalue.TruthValueDomain
- All Implemented Interfaces:
AbstractDomain<TruthValue,
,Boolean> AnyAbstractDomain
-
Field Summary
-
Method Summary
-
Field Details
-
INSTANCE
-
-
Method Details
-
abstractType
- Specified by:
abstractType
in interfaceAbstractDomain<TruthValue,
Boolean> - Specified by:
abstractType
in interfaceAnyAbstractDomain
-
concreteType
- Specified by:
concreteType
in interfaceAbstractDomain<TruthValue,
Boolean> - Specified by:
concreteType
in interfaceAnyAbstractDomain
-
unknown
- Specified by:
unknown
in interfaceAbstractDomain<TruthValue,
Boolean>
-
error
- Specified by:
error
in interfaceAbstractDomain<TruthValue,
Boolean>
-
toAbstract
- Specified by:
toAbstract
in interfaceAbstractDomain<TruthValue,
Boolean>
-