Package tools.refinery.logic.term.real
Class RealPlusTerm
java.lang.Object
tools.refinery.logic.term.AbstractTerm<Double>
tools.refinery.logic.term.UnaryTerm<Double,Double>
tools.refinery.logic.term.real.RealUnaryTerm
tools.refinery.logic.term.real.RealPlusTerm
- All Implemented Interfaces:
AnyTerm
,AssignedValue<Double>
,Term<Double>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected Double
doEvaluate
(Double bodyValue) doSubstitute
(Substitution substitution, Term<Double> substitutedBody) toString()
Methods inherited from class tools.refinery.logic.term.UnaryTerm
equalsWithSubstitution, evaluate, getBody, getBodyType, getInputVariables, hashCodeWithSubstitution, substitute
Methods inherited from class tools.refinery.logic.term.AbstractTerm
equals, getType, hashCode
-
Constructor Details
-
RealPlusTerm
-
-
Method Details
-
doSubstitute
- Specified by:
doSubstitute
in classUnaryTerm<Double,
Double>
-
doEvaluate
- Specified by:
doEvaluate
in classUnaryTerm<Double,
Double>
-
toString
-