public abstract class Term extends Node
Modifier and Type | Class and Description |
---|---|
static interface |
Term.Operations |
Modifier and Type | Field and Description |
---|---|
(package private) Term |
_sm_simplified_term |
static Integer |
ID |
static int |
sm_simplified_term_ID |
_nodes, _observers, _operations, _thisoperations
Constructor and Description |
---|
Term(int capacity) |
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.
|
Term |
getSimplifiedTerm() |
boolean |
hasAttribute(int attrname) |
Term |
instantiate(String varname,
Node expression) |
MatchResult |
match(Node expression) |
void |
setAttribute(int attrname,
Object attrvalue) |
void |
simplify() |
Term |
sm_simplified_term() |
void |
sm_simplified_term(Term o) |
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
Term _sm_simplified_term
public static int sm_simplified_term_ID
public Term getSimplifiedTerm()
public void simplify()
public MatchResult match(Node expression)
public int getClassID()
Node
getClassID
in class Node
public void copyValueOf(Node n, HashMap clones)
copyValueOf
in class Node
public Node.Operations getOperations()
Node
getOperations
in class Node
public Term sm_simplified_term()
public void sm_simplified_term(Term o)
public boolean hasAttribute(int attrname)
hasAttribute
in class Node
public Object getAttribute(int attrname)
getAttribute
in class Node
public void setAttribute(int attrname, Object attrvalue)
setAttribute
in class Node