dlvhex
2.5.0
|
#include "dlvhex2/Interpretation.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/OrdinaryASPProgram.h"
#include <boost/shared_ptr.hpp>
Go to the source code of this file.
Data Structures | |
class | OrdinaryASPSolver |
Abstract base class to capture ASP solvers. More... | |
Typedefs | |
typedef boost::shared_ptr < OrdinaryASPSolver > | OrdinaryASPSolverPtr |
typedef boost::shared_ptr<OrdinaryASPSolver> OrdinaryASPSolverPtr |
Definition at line 62 of file OrdinaryASPSolver.h.