Package tools.refinery.logic.term
Class ConstantTerm<T>
java.lang.Object
tools.refinery.logic.term.AbstractTerm<T>
tools.refinery.logic.term.ConstantTerm<T>
- All Implemented Interfaces:
AnyTerm
,AssignedValue<T>
,Term<T>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
equalsWithSubstitution
(LiteralEqualityHelper helper, AnyTerm other) getValue()
int
substitute
(Substitution substitution) toString()
Methods inherited from class tools.refinery.logic.term.AbstractTerm
equals, getType, hashCode
-
Constructor Details
-
ConstantTerm
-
-
Method Details
-
getValue
-
evaluate
-
substitute
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceAnyTerm
- Overrides:
equalsWithSubstitution
in classAbstractTerm<T>
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceAnyTerm
- Overrides:
hashCodeWithSubstitution
in classAbstractTerm<T>
-
getInputVariables
-
toString
-