Package tools.refinery.logic.term
Class NodeVariable
java.lang.Object
tools.refinery.logic.term.Variable
tools.refinery.logic.term.NodeVariable
-
Method Summary
Modifier and TypeMethodDescription<T> DataVariable
<T> asDataVariable
(Class<T> type) int
hashCodeWithSubstitution
(int sequenceNumber) isConstant
(int value) boolean
isEquivalent
(NodeVariable other) boolean
notEquivalent
(NodeVariable other) renew()
Methods inherited from class tools.refinery.logic.term.Variable
equals, getExplicitName, getName, getUniqueName, hashCode, isExplicitlyNamed, of, of, of, of, toString
-
Method Details
-
tryGetType
- Specified by:
tryGetType
in classVariable
-
renew
-
renew
-
isNodeVariable
public boolean isNodeVariable()- Specified by:
isNodeVariable
in classVariable
-
isDataVariable
public boolean isDataVariable()- Specified by:
isDataVariable
in classVariable
-
asNodeVariable
- Specified by:
asNodeVariable
in classVariable
-
asDataVariable
- Specified by:
asDataVariable
in classVariable
-
hashCodeWithSubstitution
public int hashCodeWithSubstitution(int sequenceNumber) - Specified by:
hashCodeWithSubstitution
in classVariable
-
isConstant
-
isEquivalent
-
notEquivalent
-