public class CASAkbFiltersDefinition extends FiltersDefinition
Modifier and Type | Field and Description |
---|---|
private Formula |
AGENT_BELIEVE_ALL_X_PATTERN |
private Formula |
AGENT_BELIEVE_ANY_X_PATTERN |
private Formula |
AGENT_BELIEVE_IOTA_X_PATTERN |
private Formula |
AGENT_BELIEVE_SOME_X_PATTERN |
private Formula |
AGENT_BELIEVE_X_PATTERN
Patterns used to manage the defined predicate
|
(package private) CasaKB |
kb |
(package private) String |
name |
private Formula |
NOT_AGENT_BELIEVE_X_PATTERN |
Constructor and Description |
---|
CASAkbFiltersDefinition(String name_,
CasaKB kb_)
A filter to stuff beliefs of other agents into their own sub-belief bases.
|
Modifier and Type | Method and Description |
---|---|
String |
getAgentFromMatch(MatchResult match) |
defineFilter, defineFilter, getFilterDefinition
private Formula AGENT_BELIEVE_X_PATTERN
private Formula NOT_AGENT_BELIEVE_X_PATTERN
private Formula AGENT_BELIEVE_IOTA_X_PATTERN
private Formula AGENT_BELIEVE_ALL_X_PATTERN
private Formula AGENT_BELIEVE_ANY_X_PATTERN
private Formula AGENT_BELIEVE_SOME_X_PATTERN
String name
CasaKB kb
public CASAkbFiltersDefinition(String name_, CasaKB kb_)
name
- name of the predicatpublic String getAgentFromMatch(MatchResult match) throws SL.WrongTypeException
SL.WrongTypeException