Strategy class for finding SCCs and WCCs from a given program graph, using the Boost Graph Library. More...

#include "dlvhex2/BoostComponentFinder.h"
#include "dlvhex2/globals.h"
#include "dlvhex2/PrintVisitor.h"
#include "dlvhex2/Component.h"
#include <sstream>
#include <boost/graph/adjacency_list.hpp>
#include <boost/graph/connected_components.hpp>
#include <boost/graph/strong_components.hpp>
#include <boost/graph/graphviz.hpp>
#include <boost/algorithm/string/replace.hpp>

Include dependency graph for BoostComponentFinder.cpp:

Go to the source code of this file.

Detailed Description

Strategy class for finding SCCs and WCCs from a given program graph, using the Boost Graph Library.

Author:: Roman Schindlauer

Date:: Wed Jan 25 14:34:20 CET 2006

Definition in file BoostComponentFinder.cpp.