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 |
TermSequenceNode |
Modifier and Type | Method and Description |
---|---|
void |
TermSequence.Operations.addTerm(TermSequence node,
Term term) |
Term |
TermSequence.Operations.getTerm(TermSequence node,
int i) |
void |
TermSequence.Operations.removeTerm(TermSequence node,
Term term) |
int |
TermSequence.Operations.size(TermSequence node) |
Modifier and Type | Method and Description |
---|---|
void |
TermSequenceNodeOperations.addTerm(TermSequence node,
Term term) |
Term |
TermSequenceNodeOperations.getTerm(TermSequence node,
int i) |
void |
TermSequenceNodeOperations.removeTerm(TermSequence node,
Term term) |
int |
TermSequenceNodeOperations.size(TermSequence node) |
Modifier and Type | Method and Description |
---|---|
TermSequence |
SLParser.TermSequence(ArrayList variables,
int quantifierIndex) |