#include "dlvhex2/Interpretation.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/OrdinaryASPProgram.h"
#include <boost/shared_ptr.hpp>

Include dependency graph for OrdinaryASPSolver.h:

This graph shows which files directly or indirectly include this file:

Data Structures
class	OrdinaryASPSolver
	Abstract base class to capture ASP solvers. More...
Typedefs
typedef boost::shared_ptr < OrdinaryASPSolver >	OrdinaryASPSolverPtr

Typedef Documentation

Definition at line 62 of file OrdinaryASPSolver.h.

Data Structures