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
-
Method Summary
Modifier and TypeMethodDescriptionboolean
equalsWithSubstitution
(LiteralEqualityHelper helper, AnyTerm other) Class
<?> getType()
int
substitute
(Substitution substitution)
-
Method Details
-
getType
Class<?> getType() -
substitute
-
equalsWithSubstitution
-
hashCodeWithSubstitution
-
getInputVariables
Set<AnyDataVariable> getInputVariables()
-