Stores an ordinary ground program with some meta information, e.g. mapping of ground atoms back to external atoms, cycle information. More...

#include "dlvhex2/AnnotatedGroundProgram.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Benchmarking.h"
#include "dlvhex2/ExtSourceProperties.h"
#include <boost/graph/breadth_first_search.hpp>
#include <boost/graph/visitors.hpp>
#include <boost/graph/strong_components.hpp>
#include <boost/graph/filtered_graph.hpp>
#include <boost/foreach.hpp>

Include dependency graph for AnnotatedGroundProgram.cpp:

Go to the source code of this file.

Detailed Description

Stores an ordinary ground program with some meta information, e.g. mapping of ground atoms back to external atoms, cycle information.

Author:: Christoph Redl

Date:: Wed May 30 2012

Definition in file AnnotatedGroundProgram.cpp.