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

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