src/ComponentGraph.cpp File Reference

Implementation of the component graph. More...

#include "dlvhex2/ComponentGraph.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/GraphvizHelpers.h"
#include <boost/graph/breadth_first_search.hpp>
#include <boost/graph/two_bit_color_map.hpp>
#include <boost/graph/strong_components.hpp>
#include <boost/graph/graph_utility.hpp>
#include <boost/graph/subgraph.hpp>
#include <boost/property_map/property_map.hpp>
#include <boost/algorithm/string/replace.hpp>
#include <boost/range/iterator_range.hpp>
#include <boost/foreach.hpp>
#include <sstream>

Include dependency graph for ComponentGraph.cpp:

Go to the source code of this file.

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
Typedefs
typedef DependencyGraph::Node	DLVHEX_NAMESPACE_BEGIN::Node
typedef std::set< Node >	DLVHEX_NAMESPACE_BEGIN::NodeSet
typedef std::vector< Node >	DLVHEX_NAMESPACE_BEGIN::NodeVector
typedef ComponentGraph::ComponentSet	DLVHEX_NAMESPACE_BEGIN::ComponentSet
typedef ComponentGraph::ComponentInfo	DLVHEX_NAMESPACE_BEGIN::ComponentInfo
typedef ComponentGraph::DependencyInfo	DLVHEX_NAMESPACE_BEGIN::DependencyInfo
typedef ComponentGraph::DepMap	DLVHEX_NAMESPACE_BEGIN::DepMap

---

Detailed Description

Implementation of the component graph.

Author:

Peter Schller

Definition in file ComponentGraph.cpp.