Package tools.refinery.logic.term

Interface Term<T>

All Superinterfaces:

AnyTerm

All Known Implementing Classes:

AbstractCallTerm, AbstractTerm, AggregationTerm, 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 non-sealed interface Term<T>
extends AnyTerm

Method Summary

Modifier and Type	Method	Description
T	evaluate(Valuation valuation)
Class<T>	getType()
default Term<T>	reduce()
Term<T>	rewriteSubTerms(TermRewriter termRewriter)
Term<T>	substitute(Substitution substitution)

Methods inherited from interface tools.refinery.logic.term.AnyTerm

equalsWithSubstitution, getInputVariables, getPrivateVariables, getVariables, hashCodeWithSubstitution

Method Details

getType

Class<T> getType()

Specified by:

getType in interface AnyTerm

evaluate

T evaluate(Valuation valuation)

reduce

default Term<T> reduce()

rewriteSubTerms

Term<T> rewriteSubTerms(TermRewriter termRewriter)

Specified by:

rewriteSubTerms in interface AnyTerm

substitute

Term<T> substitute(Substitution substitution)

Specified by:

substitute in interface AnyTerm