JIPClausesDatabase is the base class for external database of clauses
To implement a custom database of clauses, developers should implement the following methods:
- setAttributes
- addClauseAt
- addClause
- removeClause
- clauses
For more information see the section "How to implement a custom detabase of clauses" in the Reference Manual.
JIPClausesEnumeration is the base class to implement an enumeration of clauses contained in a custom database
Developers should implements the methods:
- nextClause
- hasMoreElements
For more information see the section "How to implement a custom database of clauses" in the Reference Manual.
JIPEvent is used to notify an interpreter event occurred during the execution
JIPEventListeners receive a JIPEvent object in one of their methods depending on the type of event
JIPIsRunningException is the exception raised by a JIPEngine object when the
when nextSolution method is called while the interpreter is still running.