Package | Description |
---|---|
casa.jade | |
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 |
---|---|
protected Variable |
CasaQueryFilter.getVariable(MatchResult applyResult,
String var) |
Modifier and Type | Class and Description |
---|---|
class |
MetaVariableReferenceNode |
class |
VariableNode |
Modifier and Type | Field and Description |
---|---|
(package private) Variable |
MetaVariableReferenceNode._sm_value |
Modifier and Type | Method and Description |
---|---|
Variable |
QuantifiedFormula.as_variable() |
Variable |
ListOfVariable.element(int i) |
Variable |
ListOfVariable.first() |
Variable |
ListOfVariable.last() |
Variable |
MetaVariableReferenceNode.sm_value() |
Modifier and Type | Method and Description |
---|---|
void |
ListOfVariable.append(Variable e) |
void |
QuantifiedFormula.as_variable(Variable s) |
Formula |
Formula.Operations.getVariablesSubstitution(Formula node,
Variable x,
Variable y) |
Formula |
Formula.getVariablesSubstitution(Variable x,
Variable y) |
boolean |
Formula.Operations.isAFreeVariable(Formula node,
Variable x) |
boolean |
Formula.isAFreeVariable(Variable x) |
void |
ListOfVariable.prepend(Variable e) |
void |
MetaVariableReferenceNode.sm_value(Variable o) |
Constructor and Description |
---|
ExistsNode(Variable as_variable,
Formula as_formula) |
ForallNode(Variable as_variable,
Formula as_formula) |
ListOfVariable(Variable[] nodes) |
QuantifiedFormula(int capacity,
Variable as_variable,
Formula as_formula) |
Modifier and Type | Method and Description |
---|---|
Formula |
FormulaNodeOperations.getVariablesSubstitution(Formula node,
Variable x,
Variable y) |
boolean |
FormulaNodeOperations.isAFreeVariable(Formula node,
Variable x) |
Modifier and Type | Method and Description |
---|---|
private Variable |
SLParser.getVariableFromContext(String varName,
int quantifierIndex,
ArrayList vars) |
Variable |
SLParser.Variable(ArrayList variables,
int quantifierIndex) |
Modifier and Type | Field and Description |
---|---|
(package private) Variable |
SLMatcher.VariableMappings.VariableMapping.destination |
(package private) Variable |
SLMatcher.VariableMappings.VariableMapping.source |
Modifier and Type | Method and Description |
---|---|
Variable |
MatchResult.getVariable(String name)
Return the variable assigned to the named meta variable.
|
Variable |
MatchResult.variable(String name)
Return the variable assigned to the named meta variable.
|
Modifier and Type | Method and Description |
---|---|
(package private) boolean |
SLMatcher.VariableMappings.addMapping(Variable source,
Variable destination) |
static Node |
SL.toPattern(Node expression,
Variable x)
This method return a new expression corresponding to the given one in
which all variables equals to
x are replaced by a
meta variable named ??X . |
static Node |
SL.toPattern(Node expression,
Variable x,
String metaname)
This method return a new expression corresponding to the given one in
which all variables equals to
x are replaced by a
meta variable named ??\ . |
private static void |
SL.variable2MetaVariable(Node node,
Variable x,
String metavarname) |
Constructor and Description |
---|
VariableMapping(Variable source,
Variable destination) |