public interface FilterKBase extends KBase
Modifier and Type | Field and Description |
---|---|
static int |
END
Value to add a filter at the end of the list of filters
|
static int |
FRONT
Value to add a filter at the beginning of the list of filters
|
Modifier and Type | Method and Description |
---|---|
void |
addFiltersDefinition(FiltersDefinition filtersDefinition)
Adds a list of filters to the KBase (useful for defining specific predicate management)
|
void |
addKBAssertFilter(KBAssertFilter assertFilter)
Adds an assert filter to the belief base
|
void |
addKBAssertFilter(KBAssertFilter assertFilter,
int index)
Adds an assert filter to the belief base at the specified index.
|
void |
addKBQueryFilter(KBQueryFilter queryFilter)
Adds a query filter to the belief base
|
void |
addKBQueryFilter(KBQueryFilter queryFilter,
int index)
Adds a query filter to the belief base at the specified index.
|
void |
getObserverTriggerPatterns(Formula formula,
Set result)
Calls the getObserverTriggerPatterns method of each query filters.
|
void |
removeKBAssertFilter(Finder finder)
Removes the assert filters that are identified by
the specified finder.
|
void |
removeKBQueryFilter(Finder finder)
Removes the query filters that are identified by
the specified finder.
|
addClosedPredicate, addObserver, assertFormula, eval, getAgentName, getWrappingKBase, isClosed, query, query, queryRef, queryRef, queryRefSingleTerm, removeClosedPredicate, removeFormula, removeObserver, removeObserver, retractFormula, setAgentName, setWrappingKBase, toStrings, updateObservers
static final int FRONT
static final int END
void addKBAssertFilter(KBAssertFilter assertFilter)
assertFilter
- an assert filtervoid addKBAssertFilter(KBAssertFilter assertFilter, int index)
FRONT
or END
constants to put
the filter at the beginning of the lits or at the end of the list.assertFilter
- an assert filterindex
- the index in the list of filters to add a new filtervoid removeKBAssertFilter(Finder finder)
finder
- a findervoid addKBQueryFilter(KBQueryFilter queryFilter)
queryFilter
- a queryFiltervoid addKBQueryFilter(KBQueryFilter queryFilter, int index)
FRONT
or END
constants to put
the filter at the beginning of the lits or at the end of the list.queryFilter
- a queryFilterindex
- the index in the list of filters to add a new filtervoid removeKBQueryFilter(Finder finder)
finder
- a findervoid addFiltersDefinition(FiltersDefinition filtersDefinition)
filtersDefinition
- the list of filters