Package tools.refinery.logic.term.int_
Class IntBinaryTerm
java.lang.Object
tools.refinery.logic.term.AbstractTerm<Integer>
tools.refinery.logic.term.BinaryTerm<Integer,Integer,Integer>
tools.refinery.logic.term.int_.IntBinaryTerm
- All Implemented Interfaces:
AnyTerm
,AssignedValue<Integer>
,Term<Integer>
- Direct Known Subclasses:
IntAddTerm
,IntDivTerm
,IntMaxTerm
,IntMinTerm
,IntMulTerm
,IntPowTerm
,IntSubTerm
-
Constructor Summary
-
Method Summary
Methods inherited from class tools.refinery.logic.term.BinaryTerm
doEvaluate, doSubstitute, equalsWithSubstitution, evaluate, getInputVariables, getLeft, getLeftType, getRight, getRightType, hashCodeWithSubstitution, substitute
Methods inherited from class tools.refinery.logic.term.AbstractTerm
equals, getType, hashCode
-
Constructor Details
-
IntBinaryTerm
-