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]
 All Classes Files Functions Typedefs Enumerations Enumerator

Last modified on Sun Sep 26 23:21:27 2010
Copyright 2010 Michel Kinasz