Package tools.refinery.logic.term

Interface AnyTerm

All Known Subinterfaces:

Term<T>

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

Method Summary

Modifier and Type	Method	Description
default <T> Term<T>	asType(Class<T> type)
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)

asType

default <T> Term<T> asType(Class<T> type)