Package | Description |
---|---|
casa.jade | |
jade.semantics.kbase.filters |
Provides all generic filters needed by the default
FilterKBase provided by the JSA framework. |
jade.semantics.kbase.filters.std |
Modifier and Type | Class and Description |
---|---|
class |
CasaKB |
Modifier and Type | Method and Description |
---|---|
protected void |
SingleValueDefinition.cleanKBase(FilterKBase kbase)
Removes from the base all the belief about this kind of predicate
|
protected void |
SingleNumValueDefinition.cleanKBase(FilterKBase kbase)
Removes from the base all the belief about this kind of predicat
|
Modifier and Type | Class and Description |
---|---|
class |
FilterKBaseImpl
Class that implements the filter belief base api.
|
Modifier and Type | Field and Description |
---|---|
protected FilterKBase |
KBFilter.myKBase
Belief base onto apply this filter
|
Modifier and Type | Method and Description |
---|---|
void |
FilterKBaseLoader.load(FilterKBase kbase) |
void |
KBFilter.setMyKBase(FilterKBase myKBase)
Sets the belief base
|
Modifier and Type | Field and Description |
---|---|
(package private) FilterKBase |
FunctionalTermTableImpl.kbase |
Modifier and Type | Method and Description |
---|---|
static BuiltInPredicateFilters |
BuiltInPredicateFilters.getInstance(FilterKBase kbase) |
void |
DefaultFilterKBaseLoader.load(FilterKBase kbase) |
Constructor and Description |
---|
FunctionalTermTableImpl(FilterKBase kbase)
Constructor
|