include/dlvhex2/InternalGrounder.h File Reference

#include "dlvhex2/ID.h"
#include "dlvhex2/Interpretation.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Printhelpers.h"
#include "dlvhex2/OrdinaryASPProgram.h"
#include "dlvhex2/Set.h"
#include <vector>
#include <map>
#include <boost/foreach.hpp>
#include <boost/shared_ptr.hpp>
#include <boost/unordered_map.hpp>
#include "dlvhex2/GenuineSolver.h"

Include dependency graph for InternalGrounder.h:

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

Go to the source code of this file.

Data Structures
class	InternalGrounder
	Implements a grounder without using third-party software. More...
Typedefs
typedef InternalGrounder::Ptr	InternalGrounderPtr
typedef InternalGrounder::ConstPtr	InternalGrounderConstPtr

---

Typedef Documentation

typedef InternalGrounder::ConstPtr InternalGrounderConstPtr

Definition at line 362 of file InternalGrounder.h.

typedef InternalGrounder::Ptr InternalGrounderPtr

Definition at line 361 of file InternalGrounder.h.