@Deprecated public final class Metavariable extends AbstractSortedOperator implements ParsableVariable, java.lang.Comparable<Metavariable>
Modifier and Type | Field and Description |
---|---|
private boolean |
isTemporaryVariable
Deprecated.
|
private static int |
maxSerial
Deprecated.
|
private int |
serial
Deprecated.
|
Modifier | Constructor and Description |
---|---|
|
Metavariable(Name name,
Sort sort)
Deprecated.
|
private |
Metavariable(Name name,
Sort sort,
boolean isTemporaryVariable)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(Metavariable p_mr)
Deprecated.
|
boolean |
equals(java.lang.Object o)
Deprecated.
|
boolean |
isTemporaryVariable()
Deprecated.
|
private void |
setSerial()
Deprecated.
|
java.lang.String |
toString()
Deprecated.
|
additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort
arity, bindVarsAt, isRigid, name, validTopLevel, whereToBind
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
private static int maxSerial
private int serial
private final boolean isTemporaryVariable
private void setSerial()
public java.lang.String toString()
toString
in class AbstractOperator
public int compareTo(Metavariable p_mr)
compareTo
in interface java.lang.Comparable<Metavariable>
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public boolean isTemporaryVariable()