Package | Description |
---|---|
casa.jade | |
jade.semantics.kbase |
Provides the classes to handle the belief base of JSA agents.
|
jade.semantics.kbase.filters |
Provides all generic filters needed by the default
FilterKBase provided by the JSA framework. |
jade.semantics.kbase.filters.std | |
jade.semantics.kbase.filters.std.assertion |
Provides all generic assertion filters needed by the
FilterKBase
implementation. |
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.tools |
Provides useful classes to handle FIPA-SL expressions.
|
Modifier and Type | Method and Description |
---|---|
MatchResult |
CasaKB.agentQueryRef(String agentName,
IdentifyingExpression exp) |
Modifier and Type | Method and Description |
---|---|
String |
CASAkbFiltersDefinition.getAgentFromMatch(MatchResult match) |
protected Formula |
CasaQueryFilter.getFormula(MatchResult applyResult,
String var) |
protected Node |
CasaQueryFilter.getNode(MatchResult applyResult,
String var) |
protected Symbol |
CasaQueryFilter.getSymbol(MatchResult applyResult,
String var) |
protected Term |
CasaQueryFilter.getTerm(MatchResult applyResult,
String var) |
protected Variable |
CasaQueryFilter.getVariable(MatchResult applyResult,
String var) |
Modifier and Type | Method and Description |
---|---|
MatchResult |
QueryResult.getResult(int index) |
MatchResult |
QueryResult.remove(int i) |
Modifier and Type | Method and Description |
---|---|
void |
QueryResult.add(MatchResult result)
This method add a given result if not already in the results list.
|
void |
QueryResult.remove(MatchResult result)
This method remove a given result from the results list.
|
Constructor and Description |
---|
QueryResult(MatchResult result)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
MatchResult |
KBQueryFilterAdapter.doApply(Formula formula,
MatchResult match)
Performs the filter on the formula
formula . |
Modifier and Type | Method and Description |
---|---|
MatchResult |
KBQueryFilterAdapter.doApply(Formula formula,
MatchResult match)
Performs the filter on the formula
formula . |
Formula |
KBAssertFilterAdapter.doApply(Formula formula,
MatchResult match)
Returns the given formula.
|
boolean |
KBQueryFilterAdapter.doGetObserverTriggerPatterns(MatchResult match,
Set set) |
Modifier and Type | Method and Description |
---|---|
private Node |
CFPFilters.buildProposalVector(MatchResult match) |
private boolean |
CFPFilters.checkProposalPattern(MatchResult match) |
private BinaryPredicate |
BuiltInPredicateFilters.handleBinaryPredicate(MatchResult match,
MetaTermReferenceNode v1,
MetaTermReferenceNode v2,
KBase kb) |
private TernaryPredicate |
BuiltInPredicateFilters.handleTernaryPredicate(MatchResult match,
MetaTermReferenceNode v1,
MetaTermReferenceNode v2,
MetaTermReferenceNode v3,
KBase kb) |
private UnaryPredicate |
BuiltInPredicateFilters.handleUnaryPredicate(MatchResult match,
MetaTermReferenceNode v1,
KBase kb)
PRIVATE METHODS
|
Modifier and Type | Method and Description |
---|---|
private Formula |
AllIREFilter.generalNotPatternProcess(Formula formula,
MatchResult applyResult) |
private Formula |
AllIREFilter.generalPatternProcess(MatchResult applyResult) |
private void |
AllIREFilter.getPatterns(MatchResult applyResult) |
Modifier and Type | Method and Description |
---|---|
MatchResult |
Content.Operations.match(Content node,
Node expression) |
MatchResult |
Formula.Operations.match(Formula node,
Node expression) |
MatchResult |
Term.match(Node expression) |
MatchResult |
Formula.match(Node expression) |
MatchResult |
Content.match(Node expression) |
MatchResult |
Term.Operations.match(Term node,
Node expression) |
Modifier and Type | Method and Description |
---|---|
MatchResult |
ContentNodeOperations.match(Content node,
Node expression) |
MatchResult |
FormulaNodeOperations.match(Formula node,
Node expression) |
MatchResult |
TermNodeOperations.match(Term node,
Node expression) |
Modifier and Type | Field and Description |
---|---|
(package private) MatchResult |
SLMatcher._metaReferences1 |
(package private) MatchResult |
SLMatcher._metaReferences2 |
Modifier and Type | Method and Description |
---|---|
MatchResult |
MatchResult.intersect(MatchResult other) |
MatchResult |
MatchResult.join(MatchResult other) |
MatchResult |
SLMatcher.match(Node expression1,
Node expression2)
Try to match to SL expressions
|
static MatchResult |
SL.match(Node expression1,
Node expression2)
TODO
|
Modifier and Type | Method and Description |
---|---|
static Node |
SL.instantiate(Node node,
MatchResult mr)
Instantiates a formula by replacing all metavariables
contained in m by their values.
|
MatchResult |
MatchResult.intersect(MatchResult other) |
MatchResult |
MatchResult.join(MatchResult other) |
private boolean |
SLMatcher.match(Node expression1,
Node expression2,
MatchResult metaReferences1,
MatchResult metaReferences2,
SLMatcher.VariableMappings variables,
ListOfNodes firstList,
ListOfNodes secondList,
ListOfNodes firstOrResidue,
ListOfNodes secondOrResidue)
This method is used inside the recursive matching
process.
|