Package tools.refinery.logic.term

Interface AnyTerm

All Known Subinterfaces:

Term<T>

All Known Implementing Classes:

AbstractTerm, AnyDataVariable, 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 sealed interface AnyTerm
permits AnyDataVariable, Term<T>

Method Summary

Modifier and Type	Method	Description
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
Set<AnyDataVariable>	getInputVariables()
Class<?>	getType()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
AnyTerm	substitute(Substitution substitution)

Method Details

getType

Class<?> getType()

substitute

AnyTerm substitute(Substitution substitution)

equalsWithSubstitution

boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

hashCodeWithSubstitution

int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

getInputVariables

Set<AnyDataVariable> getInputVariables()