Package jade.semantics.kbase.filters.std.query

Provides all generic query filters needed by the FilterKBase implementation.

See: Description

Class Summary

Class	Description
AndFilter	This filter applies when an "and formula" is asserted in the belief Base.
ExistsFilter	This filter applies when an "exists formula" is asserted in the belief Base.
ForallFilter	This filter applies when an "forall formula" is asserted in the belief base.
IREFilter	This filter applies when the query relates to the equality between an identifying expression and a term.
IsdoingQueryFilter	This filter applies when an "not (is_doing myself plan)" formula is queried to the KBase.
OrFilter	This filter applies when an "or formula" is asserted in the KBase.

Package jade.semantics.kbase.filters.std.query Description

Provides all generic query filters needed by the FilterKBase implementation.