Interface to genuine nonground disjunctive ASP Grounder and Solver (powered by gringo/clasp or internal grounder/solver) More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/ASPSolverManager.h"
#include "dlvhex2/Error.h"
#include "dlvhex2/OrdinaryASPProgram.h"
#include "dlvhex2/AnnotatedGroundProgram.h"
#include "dlvhex2/OrdinaryASPSolver.h"
#include "dlvhex2/Nogood.h"
#include <boost/shared_ptr.hpp>
#include <boost/scoped_ptr.hpp>
#include <vector>

Include dependency graph for GenuineSolver.h:

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

Go to the source code of this file.

Data Structures
class	PropagatorCallback
	Base class for propagator callbacks. More...
class	GenuineGrounder
	Base class for grounder implementations. More...
class	GenuineGroundSolver
	Base class for ground ASP solvers. More...
class	GenuineSolver
	This class combines a grounder and a solver to support direct solving of nonground programs. More...
Typedefs
typedef GenuineGrounder::Ptr	GenuineGrounderPtr
typedef GenuineGrounder::ConstPtr	GenuineGrounderConstPtr
typedef GenuineGroundSolver::Ptr	GenuineGroundSolverPtr
typedef GenuineGroundSolver::ConstPtr	GenuineGroundSolverConstPtr
typedef GenuineSolver::Ptr	GenuineSolverPtr
typedef GenuineSolver::ConstPtr	GenuineSolverConstPtr