Clingo
|
Graph class to compute strongly connected components. More...
#include <graph.hh>
Public Types | |
using | IdVec = std::vector< size_t > |
A vector of node ids. | |
using | SCCVec = std::vector< IdVec > |
A vector of vector of nodes forming a strongly connected component. | |
Public Member Functions | |
template<class Callback > | |
void | tarjan (Callback cb) |
Compute the strongly connected components of the graph. | |
void | ensure_size (size_t n) |
Ensure that the graph holds at least n nodes. | |
void | add_edge (size_t u, size_t v) |
Add an edge to the graph. | |
auto | has_loop (size_t u) const -> bool |
Check if the given vertex has a loop. | |
void | clear () |
Clear the graph. | |
Graph class to compute strongly connected components.