Class BinaryTerm<R,T1,T2>

java.lang.Object
tools.refinery.logic.term.AbstractTerm<R>
tools.refinery.logic.term.BinaryTerm<R,T1,T2>
All Implemented Interfaces:
AnyTerm, AssignedValue<R>, Term<R>
Direct Known Subclasses:
BoolBinaryTerm, ComparisonTerm, IntBinaryTerm, RealBinaryTerm, UpperCardinalityBinaryTerm

public abstract class BinaryTerm<R,T1,T2> extends AbstractTerm<R>