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.
|
Modifier and Type | Method and Description |
---|---|
Formula |
Formula.Operations.getVariablesSubstitution(Formula node,
ListOfVariable vars) |
Formula |
Formula.getVariablesSubstitution(ListOfVariable vars) |
void |
VisitorBase.visitListOfVariable(ListOfVariable node) |
void |
Visitor.visitListOfVariable(ListOfVariable node) |
Modifier and Type | Method and Description |
---|---|
Formula |
FormulaNodeOperations.getVariablesSubstitution(Formula node,
ListOfVariable vars) |