Package tools.refinery.logic.term

Interface Term<T>

All Superinterfaces:
AnyTerm, AssignedValue<T>
All Known Implementing Classes:
AbstractTerm, BinaryTerm, BoolAndTerm, BoolBinaryTerm, BoolNotTerm, BoolOrTerm, BoolXorTerm, ComparisonTerm, ConstantTerm, DataVariable, EqTerm, GreaterEqTerm, GreaterTerm, IntAddTerm, IntBinaryTerm, IntDivTerm, IntMaxTerm, IntMinTerm, IntMinusTerm, IntMulTerm, IntPlusTerm, IntPowTerm, IntSubTerm, IntToRealTerm, IntUnaryTerm, LessEqTerm, LessTerm, NotEqTerm, RealAddTerm, RealBinaryTerm, RealDivTerm, RealMaxTerm, RealMinTerm, RealMinusTerm, RealMulTerm, RealPlusTerm, RealPowTerm, RealSubTerm, RealToIntTerm, RealUnaryTerm, UnaryTerm, UpperCardinalityAddTerm, UpperCardinalityBinaryTerm, UpperCardinalityMaxTerm, UpperCardinalityMinTerm, UpperCardinalityMulTerm
public non-sealed interface Term<T> extends AnyTerm, AssignedValue<T>