Package tools.refinery.logic.term
Class BinaryTerm<R,T1,T2>
java.lang.Object
tools.refinery.logic.term.AbstractTerm<R>
tools.refinery.logic.term.BinaryTerm<R,T1,T2>
- Direct Known Subclasses:
AbstractDomainBinaryTerm,AddTerm,AndTerm,BoolBinaryTerm,ComparisonTerm,DivTerm,IntBinaryTerm,MulTerm,OrTerm,PowTerm,RealBinaryTerm,SubTerm,UpperCardinalityBinaryTerm,XorTerm
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionconstructWithSubTerms(Term<T1> newLeft, Term<T2> newRight) protected abstract RdoEvaluate(T1 leftValue, T2 rightValue) booleanequalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other) getInputVariables(Set<? extends Variable> positiveVariablesInClause) getLeft()getPrivateVariables(Set<? extends Variable> positiveVariablesInClause) getRight()intreduce()rewriteSubTerms(TermRewriter termRewriter) substitute(Substitution substitution) withSubTerms(Term<T1> newLeft, Term<T2> newRight) Methods inherited from class tools.refinery.logic.term.AbstractTerm
equals, getType, hashCode
-
Constructor Details
-
BinaryTerm
-
-
Method Details
-
getLeftType
-
getRightType
-
getLeft
-
getRight
-
evaluate
-
doEvaluate
-
reduce
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitutionin interfaceAnyTerm- Overrides:
equalsWithSubstitutionin classAbstractTerm<R>
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitutionin interfaceAnyTerm- Overrides:
hashCodeWithSubstitutionin classAbstractTerm<R>
-
rewriteSubTerms
-
substitute
-
withSubTerms
-
constructWithSubTerms
-
getVariables
-
getInputVariables
-
getPrivateVariables
-