Package tools.refinery.logic.term.int_
Class IntPowTerm
java.lang.Object
tools.refinery.logic.term.AbstractTerm<Integer>
tools.refinery.logic.term.BinaryTerm<Integer,Integer,Integer>
tools.refinery.logic.term.int_.IntBinaryTerm
tools.refinery.logic.term.int_.IntPowTerm
- All Implemented Interfaces:
AnyTerm
,AssignedValue<Integer>
,Term<Integer>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected Integer
doEvaluate
(Integer leftValue, Integer rightValue) doSubstitute
(Substitution substitution, Term<Integer> substitutedLeft, Term<Integer> substitutedRight) toString()
Methods inherited from class tools.refinery.logic.term.BinaryTerm
equalsWithSubstitution, evaluate, getInputVariables, getLeft, getLeftType, getRight, getRightType, hashCodeWithSubstitution, substitute
Methods inherited from class tools.refinery.logic.term.AbstractTerm
equals, getType, hashCode
-
Constructor Details
-
IntPowTerm
-
-
Method Details
-
doSubstitute
public Term<Integer> doSubstitute(Substitution substitution, Term<Integer> substitutedLeft, Term<Integer> substitutedRight) - Specified by:
doSubstitute
in classBinaryTerm<Integer,
Integer, Integer>
-
doEvaluate
- Specified by:
doEvaluate
in classBinaryTerm<Integer,
Integer, Integer>
-
toString
-