Package tools.refinery.logic.term

Interface AnyTerm

All Known Subinterfaces:

Term<T>

All Known Implementing Classes:

AbstractCallTerm, AbstractTerm, AggregationTerm, AnyDataVariable, BinaryTerm, BoolAndTerm, BoolBinaryTerm, BoolNotTerm, BoolOrTerm, BoolXorTerm, ComparisonTerm, ConstantTerm, CountTerm, DataVariable, EqTerm, GreaterEqTerm, GreaterTerm, IntAddTerm, IntBinaryTerm, IntDivTerm, IntMaxTerm, IntMinTerm, IntMinusTerm, IntMulTerm, IntPlusTerm, IntPowTerm, IntSubTerm, IntToRealTerm, IntUnaryTerm, LeftJoinTerm, 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)
default Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
default Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
Class<?>	getType()
Set<Variable>	getVariables()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
AnyTerm	rewriteSubTerms(TermRewriter termRewriter)
AnyTerm	substitute(Substitution substitution)

Method Details

getType

Class<?> getType()

rewriteSubTerms

AnyTerm rewriteSubTerms(TermRewriter termRewriter)

substitute

AnyTerm substitute(Substitution substitution)

equalsWithSubstitution

boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

hashCodeWithSubstitution

int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

getVariables

Set<Variable> getVariables()

getInputVariables

default Set<Variable> getInputVariables(Set<? extends Variable> positiveVariablesInClause)

getPrivateVariables

default Set<Variable> getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)