public abstract class Variable extends Term
Term.Operations
Modifier and Type | Field and Description |
---|---|
(package private) String |
_lx_name |
static Integer |
ID |
static int |
lx_name_ID |
_sm_simplified_term, sm_simplified_term_ID
_nodes, _observers, _operations, _thisoperations
Modifier and Type | Method and Description |
---|---|
void |
copyValueOf(Node n,
HashMap clones) |
Object |
getAttribute(int attrname) |
int |
getClassID()
This method return the dynamic class ID of the node.
|
Node.Operations |
getOperations()
This method returns the object implementing the operations associated to this node.
|
boolean |
hasAttribute(int attrname) |
String |
lx_name() |
void |
lx_name(String o) |
void |
setAttribute(int attrname,
Object attrvalue) |
getSimplifiedTerm, instantiate, match, simplify, sm_simplified_term, sm_simplified_term
accept, addObserver, addOperations, children, childrenAccept, childrenOfKind, childrenOfKind, childrenOfKind, compare, compareTo, copyValueOf, dofind, dump, equals, find, find, find, find, getAttribute, getClone, getClone, hasAttribute, initNode, installOperations, notifyChanges, removeObserver, replace, setAttribute, toString
public static Integer ID
String _lx_name
public static int lx_name_ID
public Variable(int capacity, String lx_name)
public int getClassID()
Node
getClassID
in class Term
public void copyValueOf(Node n, HashMap clones)
copyValueOf
in class Term
public Node.Operations getOperations()
Node
getOperations
in class Term
public String lx_name()
public void lx_name(String o)
public boolean hasAttribute(int attrname)
hasAttribute
in class Term
public Object getAttribute(int attrname)
getAttribute
in class Term
public void setAttribute(int attrname, Object attrvalue)
setAttribute
in class Term