public class TermSequenceNodeOperations extends TermNodeOperations implements TermSequence.Operations
Constructor and Description |
---|
TermSequenceNodeOperations() |
Modifier and Type | Method and Description |
---|---|
void |
addTerm(TermSequence node,
Term term) |
Term |
getTerm(TermSequence node,
int i) |
void |
initNode(Node node) |
void |
removeTerm(TermSequence node,
Term term) |
int |
size(TermSequence node) |
getSimplifiedTerm, instantiate, match, simplify
compare, doSimplifyNode, equals, nodesToSimplify, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSimplifiedTerm, instantiate, match, simplify
compare, equals, toString
public void initNode(Node node)
initNode
in interface Node.Operations
initNode
in class TermNodeOperations
public void addTerm(TermSequence node, Term term)
addTerm
in interface TermSequence.Operations
public void removeTerm(TermSequence node, Term term)
removeTerm
in interface TermSequence.Operations
public Term getTerm(TermSequence node, int i)
getTerm
in interface TermSequence.Operations
public int size(TermSequence node)
size
in interface TermSequence.Operations