include/dlvhex2/FLPModelGeneratorBase.tcc File Reference

Implementation of generic FLP check. More...

#include "dlvhex2/FLPModelGeneratorBase.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/Nogood.h"
#include "dlvhex2/Benchmarking.h"
#include <fstream>

Include dependency graph for FLPModelGeneratorBase.tcc:

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

Go to the source code of this file.

Data Structures
struct	DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< AnyOrdinaryASPSolverT >
struct	DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver >
Namespaces
namespace	DLVHEX_NAMESPACE_BEGIN
	for one eval unit, we transform the rules (idb) independent of input interpretations as follows: * replace all external atoms with eatom replacements
Defines
#define	DLVHEX_FLPMODELGENERATORBASE_TCC_INCLUDED

---

Detailed Description

Implementation of generic FLP check.

Author:

Peter Schller

Christoph Redl

Definition in file FLPModelGeneratorBase.tcc.

---

Define Documentation

#define DLVHEX_FLPMODELGENERATORBASE_TCC_INCLUDED

Definition at line 36 of file FLPModelGeneratorBase.tcc.