Package tools.refinery.logic.term
Class DataVariable<T>
java.lang.Object
tools.refinery.logic.term.Variable
tools.refinery.logic.term.AnyDataVariable
tools.refinery.logic.term.DataVariable<T>
- All Implemented Interfaces:
AnyTerm
,AssignedValue<T>
,Term<T>
-
Method Summary
Modifier and TypeMethodDescription<U> DataVariable
<U> asDataVariable
(Class<U> newType) assign
(AssignedValue<T> value) boolean
boolean
equalsWithSubstitution
(LiteralEqualityHelper helper, AnyTerm other) getType()
int
hashCode()
int
hashCodeWithSubstitution
(int sequenceNumber) int
isEquivalent
(DataVariable<T> other) notEquivalent
(DataVariable<T> other) renew()
substitute
(Substitution substitution) Methods inherited from class tools.refinery.logic.term.AnyDataVariable
asNodeVariable, getInputVariables, isDataVariable, isNodeVariable, tryGetType
Methods inherited from class tools.refinery.logic.term.Variable
getExplicitName, getName, getUniqueName, isExplicitlyNamed, of, of, of, of, toString
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface tools.refinery.logic.term.AnyTerm
getInputVariables
-
Method Details
-
getType
-
renew
- Specified by:
renew
in classAnyDataVariable
-
renew
- Specified by:
renew
in classAnyDataVariable
-
asDataVariable
- Specified by:
asDataVariable
in classVariable
-
evaluate
-
substitute
- Specified by:
substitute
in interfaceAnyTerm
- Specified by:
substitute
in interfaceTerm<T>
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceAnyTerm
- Overrides:
equalsWithSubstitution
in classAnyDataVariable
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceAnyTerm
-
hashCodeWithSubstitution
public int hashCodeWithSubstitution(int sequenceNumber) - Specified by:
hashCodeWithSubstitution
in classVariable
-
assign
-
equals
-
hashCode
public int hashCode() -
isEquivalent
-
notEquivalent
-