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 |
OrNode.getLeaves() |
ListOfFormula |
AndNode.getLeaves() |
ListOfFormula |
AndNode.Operations.getLeaves(AndNode node) |
ListOfFormula |
OrNode.Operations.getLeaves(OrNode node) |
Modifier and Type | Method and Description |
---|---|
void |
VisitorBase.visitListOfFormula(ListOfFormula node) |
void |
Visitor.visitListOfFormula(ListOfFormula node) |
Modifier and Type | Method and Description |
---|---|
ListOfFormula |
AndNodeOperations.getLeaves(AndNode node) |
ListOfFormula |
OrNodeOperations.getLeaves(OrNode node) |
Modifier and Type | Method and Description |
---|---|
private void |
AndNodeOperations.getLeaves(AndNode node,
ListOfFormula leaves) |
private void |
OrNodeOperations.getLeaves(OrNode node,
ListOfFormula leaves) |
Modifier and Type | Method and Description |
---|---|
ListOfFormula |
SLParser.ListOfFormula() |
ListOfFormula |
SLParser.parseFormulas(Reader stream) |
ListOfFormula |
SLParser.parseFormulas(Reader stream,
boolean extended) |
Modifier and Type | Method and Description |
---|---|
static Formula |
SL.and(ListOfFormula literals)
Builds the conjunction of a list of formulas.
|
static Formula |
SL.or(ListOfFormula literals)
Builds the disjunction of a list of formulas.
|