CBMC
|
#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 |
std::vector<unsigned> grapht< N >::tarjant::depth |
std::vector<bool> grapht< N >::tarjant::in_scc |
std::vector<unsigned> grapht< N >::tarjant::lowlink |
std::size_t grapht< N >::tarjant::max_dfs |
std::size_t grapht< N >::tarjant::scc_count |
std::stack<node_indext> grapht< N >::tarjant::scc_stack |
std::vector<node_indext>& grapht< N >::tarjant::subgraph_nr |
std::vector<bool> grapht< N >::tarjant::visited |