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.
|
jade.semantics.lang.sl.tools |
Provides useful classes to handle FIPA-SL expressions.
|
Modifier and Type | Method and Description |
---|---|
ListOfFormula |
AndNode.Operations.getLeaves(AndNode node) |
void |
VisitorBase.visitAndNode(AndNode node) |
void |
Visitor.visitAndNode(AndNode node) |
Modifier and Type | Method and Description |
---|---|
private AndNode |
AndNodeOperations.orderAndLeaves(Formula left,
Formula right) |
Modifier and Type | Method and Description |
---|---|
ListOfFormula |
AndNodeOperations.getLeaves(AndNode node) |
private void |
AndNodeOperations.getLeaves(AndNode node,
ListOfFormula leaves) |
Modifier and Type | Method and Description |
---|---|
void |
SLUnparser.visitAndNode(AndNode node) |
Modifier and Type | Method and Description |
---|---|
private void |
SLMatcher.getList(AndNode n,
ListOfNodes l)
Extracts all the elements of a AndNode and puts them into the list
of nodes given in parameter.
|
void |
SLMatcher.visitAndNode(AndNode node) |