Package tools.refinery.logic.term
Class AnyDataVariable
java.lang.Object
tools.refinery.logic.term.Variable
tools.refinery.logic.term.AnyDataVariable
- All Implemented Interfaces:
AnyTerm
- Direct Known Subclasses:
DataVariable
public abstract sealed class AnyDataVariable
extends Variable
implements AnyTerm
permits DataVariable<T>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
equalsWithSubstitution
(LiteralEqualityHelper helper, AnyTerm other) boolean
boolean
abstract AnyDataVariable
renew()
abstract AnyDataVariable
Methods inherited from class tools.refinery.logic.term.Variable
asDataVariable, equals, getExplicitName, getName, getUniqueName, hashCode, hashCodeWithSubstitution, 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
getType, hashCodeWithSubstitution, substitute
-
Constructor Details
-
AnyDataVariable
-
-
Method Details
-
tryGetType
- Specified by:
tryGetType
in classVariable
-
isNodeVariable
public boolean isNodeVariable()- Specified by:
isNodeVariable
in classVariable
-
isDataVariable
public boolean isDataVariable()- Specified by:
isDataVariable
in classVariable
-
asNodeVariable
- Specified by:
asNodeVariable
in classVariable
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceAnyTerm
-
getInputVariables
- Specified by:
getInputVariables
in interfaceAnyTerm
-
renew
-
renew
-