Package | Description |
---|---|
jade.semantics.lang.sl.grammar |
Provides the hierarchy of classes implementing the abstract grammar of the
FIPA-SL language.
|
jade.semantics.lang.sl.grammar.operations |
Provides the implementation of the operations defined on the nodes of the
abstract grammar of the FIPA-SL language.
|
jade.semantics.lang.sl.parser |
Provides the classes used by the JSA engine to parse and unparse FIPA-SL
expressions.
|
Modifier and Type | Class and Description |
---|---|
class |
TermSetNode |
Modifier and Type | Method and Description |
---|---|
void |
TermSet.Operations.addTerm(TermSet node,
Term term) |
Term |
TermSet.Operations.getTerm(TermSet node,
int i) |
void |
TermSet.Operations.removeTerm(TermSet node,
Term term) |
int |
TermSet.Operations.size(TermSet node) |
Modifier and Type | Method and Description |
---|---|
void |
TermSetNodeOperations.addTerm(TermSet node,
Term term) |
Term |
TermSetNodeOperations.getTerm(TermSet node,
int i) |
void |
TermSetNodeOperations.removeTerm(TermSet node,
Term term) |
int |
TermSetNodeOperations.size(TermSet node) |
Modifier and Type | Method and Description |
---|---|
TermSet |
SLParser.TermSet(ArrayList variables,
int quantifierIndex) |