public class TermSetNodeOperations extends TermNodeOperations implements TermSet.Operations
Constructor and Description |
---|
TermSetNodeOperations() |
Modifier and Type | Method and Description |
---|---|
void |
addTerm(TermSet node,
Term term) |
Term |
getTerm(TermSet node,
int i) |
void |
initNode(Node node) |
void |
removeTerm(TermSet node,
Term term) |
int |
size(TermSet 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(TermSet node, Term term)
addTerm
in interface TermSet.Operations
public void removeTerm(TermSet node, Term term)
removeTerm
in interface TermSet.Operations
public Term getTerm(TermSet node, int i)
getTerm
in interface TermSet.Operations
public int size(TermSet node)
size
in interface TermSet.Operations