Package tools.refinery.logic.term
Class Variable
java.lang.Object
tools.refinery.logic.term.Variable
- Direct Known Subclasses:
AnyDataVariable
,NodeVariable
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionabstract <T> DataVariable
<T> asDataVariable
(Class<T> type) abstract NodeVariable
boolean
protected String
getName()
int
hashCode()
abstract int
hashCodeWithSubstitution
(int sequenceNumber) abstract boolean
boolean
abstract boolean
static NodeVariable
of()
static NodeVariable
static <T> DataVariable
<T> static <T> DataVariable
<T> abstract Variable
renew()
abstract Variable
toString()
-
Constructor Details
-
Variable
-
-
Method Details
-
tryGetType
-
getName
-
getExplicitName
-
isExplicitlyNamed
public boolean isExplicitlyNamed() -
getUniqueName
-
renew
-
renew
-
isNodeVariable
public abstract boolean isNodeVariable() -
isDataVariable
public abstract boolean isDataVariable() -
asNodeVariable
-
asDataVariable
-
hashCodeWithSubstitution
public abstract int hashCodeWithSubstitution(int sequenceNumber) -
toString
-
equals
-
hashCode
public int hashCode() -
of
-
of
-
of
-
of
-