Package tools.refinery.logic.term.real

Class RealBinaryTerm

java.lang.Object

tools.refinery.logic.term.AbstractTerm<Double>

tools.refinery.logic.term.BinaryTerm<Double,Double,Double>

tools.refinery.logic.term.real.RealBinaryTerm

All Implemented Interfaces:

AnyTerm, AssignedValue<Double>, Term<Double>

Direct Known Subclasses:

RealAddTerm, RealDivTerm, RealMaxTerm, RealMinTerm, RealMulTerm, RealPowTerm, RealSubTerm

public abstract class RealBinaryTerm
extends BinaryTerm<Double,Double,Double>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	RealBinaryTerm(Term<Double> left, Term<Double> right)

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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface tools.refinery.logic.term.Term

toLiteral

Constructor Details

RealBinaryTerm

protected RealBinaryTerm(Term<Double> left,
 Term<Double> right)