include/dlvhex2/CDNLSolver.h File Reference

#include "dlvhex2/ID.h"
#include "dlvhex2/Interpretation.h"
#include <vector>
#include <set>
#include <map>
#include <boost/foreach.hpp>
#include "dlvhex2/Printhelpers.h"
#include "dlvhex2/Set.h"
#include "dlvhex2/DynamicVector.h"
#include "dlvhex2/Nogood.h"
#include "dlvhex2/SATSolver.h"
#include <boost/shared_ptr.hpp>
#include <boost/unordered_map.hpp>

Include dependency graph for CDNLSolver.h:

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

Go to the source code of this file.

Data Structures
class	CDNLSolver
struct	CDNLSolver::SimpleHashIDAddress
	Allows for hashing IDAddress. More...
struct	CDNLSolver::SimpleHashID
	Allows for hashing ID. More...
Typedefs
typedef CDNLSolver::Ptr	CDNLSolverPtr
typedef CDNLSolver::ConstPtr	CDNLSolverConstPtr

---

Typedef Documentation

typedef CDNLSolver::ConstPtr CDNLSolverConstPtr

Definition at line 338 of file CDNLSolver.h.

typedef CDNLSolver::Ptr CDNLSolverPtr

Definition at line 337 of file CDNLSolver.h.