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

#include "dlvhex2/FLPModelGeneratorBase.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/LiberalSafetyChecker.h"
#include "dlvhex2/CDNLSolver.h"
#include "dlvhex2/ClaspSolver.h"
#include "dlvhex2/SATSolver.h"
#include <boost/graph/graph_traits.hpp>
#include <boost/graph/adjacency_list.hpp>
#include <boost/graph/breadth_first_search.hpp>
#include <boost/graph/visitors.hpp>
#include <fstream>

Include dependency graph for FLPModelGeneratorBase.cpp:

Go to the source code of this file.

Detailed Description

Base class for model generators using FLP reduct.

Author:: Peter Schueller <[email protected]>; Chrisoph Redl <[email protected]>

Definition in file FLPModelGeneratorBase.cpp.