Base class for model generators using FLP reduct. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/fwd.h"
#include "dlvhex2/BaseModelGenerator.h"
#include "dlvhex2/AnnotatedGroundProgram.h"
#include <boost/unordered_map.hpp>
#include "dlvhex2/FLPModelGeneratorBase.tcc"

Include dependency graph for FLPModelGeneratorBase.h:

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

Go to the source code of this file.

Data Structures
class	FLPModelGeneratorFactoryBase
	Factory for model generators which provides capability for true FLP reduct computation via rewriting, guessing, and checking. More...
class	FLPModelGeneratorBase

Detailed Description

Base class for model generators using FLP reduct.

Author:: Peter Schueller <ps@kr.tuwien.ac.at>; Chrisoph Redl <redl@kr.tuwien.ac.at>

Definition in file FLPModelGeneratorBase.h.

Data Structures

Detailed Description