#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/fwd.h"
#include "dlvhex2/ID.h"
#include "dlvhex2/Nogood.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/AnnotatedGroundProgram.h"
#include <boost/unordered_map.hpp>
#include <boost/shared_ptr.hpp>

Include dependency graph for NogoodGrounder.h:

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

Go to the source code of this file.

Data Structures
class	NogoodGrounder
	Instantiates nonground nogoods. More...
class	ImmediateNogoodGrounder
	Instantiates nonground nogoods immediately for all possible substitutions. More...
class	LazyNogoodGrounder
	Instantiates nonground nogoods stepwise according to the current interpretation. More...
Typedefs
typedef NogoodGrounder::Ptr	NogoodGrounderPtr

Typedef Documentation

typedef NogoodGrounder::Ptr NogoodGrounderPtr

Definition at line 89 of file NogoodGrounder.h.

Data Structures

Typedefs

Typedef Documentation