Package tools.refinery.logic.term

Interface Term<T>

All Superinterfaces:
AnyTerm
All Known Implementing Classes:
AbstractCallTerm, AbstractDomainBinaryTerm, AbstractDomainEqTerm, AbstractDomainGreaterEqTerm, AbstractDomainGreaterTerm, AbstractDomainJoinTerm, AbstractDomainLessEqTerm, AbstractDomainLessTerm, AbstractDomainLowerBoundTerm, AbstractDomainMaxTerm, AbstractDomainMeetTerm, AbstractDomainMinTerm, AbstractDomainNotEqTerm, AbstractDomainRangeTerm, AbstractDomainSubsetTerm, AbstractDomainSupersetTerm, AbstractDomainUnaryTerm, AbstractDomainUpperBoundTerm, AbstractTerm, AddTerm, AggregationTerm, AndTerm, AsIntIntervalTerm, AsRealIntervalTerm, AsStringTerm, AsTruthValueTerm, BinaryTerm, BoolAndTerm, BoolBinaryTerm, BoolNotTerm, BoolOrTerm, BoolXorTerm, ComparisonTerm, ConstantTerm, CountTerm, DataVariable, DivTerm, EqTerm, ExpTerm, GreaterEqTerm, GreaterTerm, IntAddTerm, IntBinaryTerm, IntDivTerm, IntIntervalFromStringTerm, IntMaxTerm, IntMinTerm, IntMinusTerm, IntMulTerm, IntPlusTerm, IntPowTerm, IntSubTerm, IntToRealTerm, IntUnaryTerm, IsConcreteTerm, IsErrorTerm, LeftJoinTerm, LessEqTerm, LessTerm, LogTerm, MinusTerm, MulTerm, NodeIdTerm, NotEqTerm, NotTerm, OrTerm, PlusTerm, PowTerm, RealAddTerm, RealBinaryTerm, RealDivTerm, RealIntervalFromStringTerm, RealMaxTerm, RealMinTerm, RealMinusTerm, RealMulTerm, RealPlusTerm, RealPowTerm, RealSubTerm, RealToIntTerm, RealUnaryTerm, SqrtTerm, SubTerm, TruthValueFromStringTerm, TruthValueMayTerm, TruthValueMustTerm, UnaryTerm, UpperCardinalityAddTerm, UpperCardinalityBinaryTerm, UpperCardinalityMaxTerm, UpperCardinalityMinTerm, UpperCardinalityMulTerm, XorTerm
public non-sealed interface Term<T> extends AnyTerm