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.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 Symbol |
CasaQueryFilter.getSymbol(MatchResult applyResult,
String var) |
Modifier and Type | Class and Description |
---|---|
class |
MetaSymbolReferenceNode |
class |
SymbolNode |
Modifier and Type | Field and Description |
---|---|
(package private) Symbol |
MetaSymbolReferenceNode._sm_value |
Modifier and Type | Method and Description |
---|---|
Symbol |
PropositionSymbolNode.as_symbol() |
Symbol |
PredicateNode.as_symbol() |
Symbol |
FunctionalTerm.as_symbol() |
Symbol |
MetaSymbolReferenceNode.sm_value() |
Modifier and Type | Method and Description |
---|---|
void |
PropositionSymbolNode.as_symbol(Symbol s) |
void |
PredicateNode.as_symbol(Symbol s) |
void |
FunctionalTerm.as_symbol(Symbol s) |
void |
MetaSymbolReferenceNode.sm_value(Symbol o) |
Constructor and Description |
---|
FunctionalTerm(int capacity,
Symbol as_symbol) |
FunctionalTermNode(Symbol as_symbol,
ListOfTerm as_terms) |
FunctionalTermParamNode(Symbol as_symbol,
ListOfParameter as_parameters) |
PredicateNode(Symbol as_symbol,
ListOfTerm as_terms) |
PropositionSymbolNode(Symbol as_symbol) |
Modifier and Type | Method and Description |
---|---|
Symbol |
SLParser.Symbol() |
Modifier and Type | Method and Description |
---|---|
Symbol |
MatchResult.getSymbol(String name)
Return the symbol assigned to the named meta variable.
|
static Symbol |
SL.symbol(String name) |
Symbol |
MatchResult.symbol(String name)
Return the symbol assigned to the named meta variable.
|