Package tools.refinery.logic.term.real
Class RealUnaryTerm
- All Implemented Interfaces:
AnyTerm
,AssignedValue<Double>
,Term<Double>
- Direct Known Subclasses:
RealMinusTerm
,RealPlusTerm
-
Constructor Summary
-
Method Summary
Methods inherited from class tools.refinery.logic.term.UnaryTerm
doEvaluate, doSubstitute, equalsWithSubstitution, evaluate, getBody, getBodyType, getInputVariables, hashCodeWithSubstitution, substitute
Methods inherited from class tools.refinery.logic.term.AbstractTerm
equals, getType, hashCode
-
Constructor Details
-
RealUnaryTerm
-