Package tools.refinery.logic.term
Class AbstractTerm<T>
java.lang.Object
tools.refinery.logic.term.AbstractTerm<T>
- All Implemented Interfaces:
AnyTerm
,AssignedValue<T>
,Term<T>
- Direct Known Subclasses:
BinaryTerm
,ConstantTerm
,UnaryTerm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
boolean
equalsWithSubstitution
(LiteralEqualityHelper helper, AnyTerm other) getType()
int
hashCode()
int
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface tools.refinery.logic.term.AnyTerm
getInputVariables
Methods inherited from interface tools.refinery.logic.term.Term
evaluate, substitute, toLiteral
-
Constructor Details
-
AbstractTerm
-
-
Method Details
-
getType
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceAnyTerm
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceAnyTerm
-
equals
-
hashCode
public int hashCode()
-