DLITE::iReasoner Member List

This is the complete list of members for DLITE::iReasoner, including all inherited members.

Create(const spiStore &i_spStore, const spiTBox &i_spTBox=NULL, const spiABox &i_spABox=NULL) (defined in DLITE::iReasoner)	DLITE::iReasoner	[static]
Create(const string &i_stPath) (defined in DLITE::iReasoner)	DLITE::iReasoner	[static]
getABox()=0 (defined in DLITE::iReasoner)	DLITE::iReasoner	[pure virtual]
iReasoner() (defined in DLITE::iReasoner)	DLITE::iReasoner	[inline, protected]
Restore()=0 (defined in DLITE::iReasoner)	DLITE::iReasoner	[pure virtual]
Satisfiable(const sptExpression &i_spExpr)=0 (defined in DLITE::iReasoner)	DLITE::iReasoner	[pure virtual]
~iReasoner() (defined in DLITE::iReasoner)	DLITE::iReasoner	[inline, virtual]