include/dlvhex2/InternalGroundASPSolver.h File Reference

#include "dlvhex2/ID.h"
#include "dlvhex2/Interpretation.h"
#include "dlvhex2/ProgramCtx.h"
#include <vector>
#include <set>
#include <map>
#include <boost/foreach.hpp>
#include "dlvhex2/Printhelpers.h"
#include "CDNLSolver.h"
#include "dlvhex2/OrdinaryASPProgram.h"
#include "dlvhex2/AnnotatedGroundProgram.h"
#include "dlvhex2/GenuineSolver.h"
#include <boost/graph/graph_traits.hpp>
#include <boost/graph/adjacency_list.hpp>
#include <boost/shared_ptr.hpp>

Include dependency graph for InternalGroundASPSolver.h:

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

Go to the source code of this file.

Data Structures
class	InternalGroundASPSolver
	Implements an internal ASP solver without using third-party software. More...
Typedefs
typedef InternalGroundASPSolver::Ptr	InternalGroundASPSolverPtr
typedef InternalGroundASPSolver::ConstPtr	InternalGroundASPSolverConstPtr

---

Typedef Documentation

typedef InternalGroundASPSolver::ConstPtr InternalGroundASPSolverConstPtr

Definition at line 303 of file InternalGroundASPSolver.h.

typedef InternalGroundASPSolver::Ptr InternalGroundASPSolverPtr

Definition at line 302 of file InternalGroundASPSolver.h.