TermSet.Operations

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`void`	`addTerm(TermSet node, Term term)`
`Term`	`getTerm(TermSet node, int i)`
`void`	`removeTerm(TermSet node, Term term)`
`int`	`size(TermSet node)`

Methods inherited from interface jade.semantics.lang.sl.grammar.Term.Operations
getSimplifiedTerm, instantiate, match, simplify

Methods inherited from interface jade.semantics.lang.sl.grammar.Node.Operations
compare, equals, initNode, toString

void addTerm(TermSet node,
             Term term)

void removeTerm(TermSet node,
                Term term)

Term getTerm(TermSet node,
             int i)

Interface TermSet.Operations