include/dlvhex2/InternalGroundDASPSolver.h File Reference

#include "dlvhex2/ID.h"
#include "dlvhex2/Interpretation.h"
#include "dlvhex2/ProgramCtx.h"
#include <vector>
#include <map>
#include <boost/foreach.hpp>
#include "dlvhex2/Printhelpers.h"
#include "dlvhex2/InternalGroundASPSolver.h"
#include "dlvhex2/UnfoundedSetChecker.h"
#include <boost/shared_ptr.hpp>

Include dependency graph for InternalGroundDASPSolver.h:

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

Go to the source code of this file.

Data Structures
class	InternalGroundDASPSolver
	Internal solver for disjunctive ASP without using third-party software. More...
Typedefs
typedef InternalGroundDASPSolver::Ptr	InternalGroundDASPSolverPtr
typedef InternalGroundDASPSolver::ConstPtr	InternalGroundDASPSolverConstPtr

---

Typedef Documentation

typedef InternalGroundDASPSolver::ConstPtr InternalGroundDASPSolverConstPtr

Definition at line 79 of file InternalGroundDASPSolver.h.

typedef InternalGroundDASPSolver::Ptr InternalGroundDASPSolverPtr

Definition at line 78 of file InternalGroundDASPSolver.h.