cprover
|
#include <graph.h>
Public Member Functions | |
tarjant (std::size_t n, std::vector< node_indext > &_subgraph_nr) | |
Public Attributes | |
std::vector< bool > | visited |
std::vector< unsigned > | depth |
std::vector< unsigned > | lowlink |
std::vector< bool > | in_scc |
std::stack< node_indext > | scc_stack |
std::vector< node_indext > & | subgraph_nr |
std::size_t | scc_count |
std::size_t | max_dfs |
|
inline |
Definition at line 281 of file graph.h.
References grapht< N >::tarjant::depth, grapht< N >::tarjant::in_scc, grapht< N >::tarjant::lowlink, grapht< N >::tarjant::max_dfs, grapht< N >::tarjant::scc_count, grapht< N >::tarjant::subgraph_nr, and grapht< N >::tarjant::visited.
std::vector<unsigned> grapht< N >::tarjant::depth |
Definition at line 273 of file graph.h.
Referenced by grapht< N >::tarjant::tarjant().
std::vector<bool> grapht< N >::tarjant::in_scc |
Definition at line 275 of file graph.h.
Referenced by grapht< N >::tarjant::tarjant().
std::vector<unsigned> grapht< N >::tarjant::lowlink |
Definition at line 274 of file graph.h.
Referenced by grapht< N >::tarjant::tarjant().
std::size_t grapht< N >::tarjant::max_dfs |
Definition at line 279 of file graph.h.
Referenced by grapht< N >::tarjant::tarjant().
std::size_t grapht< N >::tarjant::scc_count |
Definition at line 279 of file graph.h.
Referenced by grapht< N >::tarjant::tarjant().
std::stack<node_indext> grapht< N >::tarjant::scc_stack |
std::vector<node_indext>& grapht< N >::tarjant::subgraph_nr |
Definition at line 277 of file graph.h.
Referenced by grapht< N >::tarjant::tarjant().
std::vector<bool> grapht< N >::tarjant::visited |
Definition at line 272 of file graph.h.
Referenced by grapht< N >::tarjant::tarjant().