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.
Definition in file ComponentGraph.cpp.
