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.parser |
Provides the classes used by the JSA engine to parse and unparse FIPA-SL
expressions.
|
Modifier and Type | Class and Description |
---|---|
class |
EqualsNode |
class |
FalseNode |
class |
PredicateNode |
class |
PropositionSymbolNode |
class |
ResultNode |
class |
TrueNode |
Modifier and Type | Method and Description |
---|---|
AtomicFormula |
SLParser.AtomicFormula(ArrayList variables) |