public static interface TermSequence.Operations extends Term.Operations
Modifier and Type | Method and Description |
---|---|
void |
addTerm(TermSequence node,
Term term) |
Term |
getTerm(TermSequence node,
int i) |
void |
removeTerm(TermSequence node,
Term term) |
int |
size(TermSequence node) |
getSimplifiedTerm, instantiate, match, simplify
compare, equals, initNode, toString
void addTerm(TermSequence node, Term term)
void removeTerm(TermSequence node, Term term)
Term getTerm(TermSequence node, int i)
int size(TermSequence node)