DLITE::iReasoner Class Reference
List of all members.
Public Member Functions |
|
virtual bool | Satisfiable (const sptExpression &i_spExpr)=0 |
|
virtual void | Restore ()=0 |
|
virtual spiABox | getABox ()=0 |
Static Public Member Functions |
|
static spiReasoner | Create (const spiStore &i_spStore, const spiTBox &i_spTBox=NULL, const spiABox &i_spABox=NULL) |
|
static spiReasoner | Create (const string &i_stPath) |
The documentation for this class was generated from the following file:
