CBMC
grapht< N >::tarjant Class Reference

#include <graph.h>

+ Collaboration diagram for grapht< N >::tarjant:

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_indextscc_stack
 
std::vector< node_indext > & subgraph_nr
 
std::size_t scc_count
 
std::size_t max_dfs
 

Detailed Description

template<class N = graph_nodet<empty_edget>>
class grapht< N >::tarjant

Definition at line 331 of file graph.h.

Constructor & Destructor Documentation

◆ tarjant()

template<class N = graph_nodet<empty_edget>>
grapht< N >::tarjant::tarjant ( std::size_t  n,
std::vector< node_indext > &  _subgraph_nr 
)
inline

Definition at line 343 of file graph.h.

Member Data Documentation

◆ depth

template<class N = graph_nodet<empty_edget>>
std::vector<unsigned> grapht< N >::tarjant::depth

Definition at line 335 of file graph.h.

◆ in_scc

template<class N = graph_nodet<empty_edget>>
std::vector<bool> grapht< N >::tarjant::in_scc

Definition at line 337 of file graph.h.

◆ lowlink

template<class N = graph_nodet<empty_edget>>
std::vector<unsigned> grapht< N >::tarjant::lowlink

Definition at line 336 of file graph.h.

◆ max_dfs

template<class N = graph_nodet<empty_edget>>
std::size_t grapht< N >::tarjant::max_dfs

Definition at line 341 of file graph.h.

◆ scc_count

template<class N = graph_nodet<empty_edget>>
std::size_t grapht< N >::tarjant::scc_count

Definition at line 341 of file graph.h.

◆ scc_stack

template<class N = graph_nodet<empty_edget>>
std::stack<node_indext> grapht< N >::tarjant::scc_stack

Definition at line 338 of file graph.h.

◆ subgraph_nr

template<class N = graph_nodet<empty_edget>>
std::vector<node_indext>& grapht< N >::tarjant::subgraph_nr

Definition at line 339 of file graph.h.

◆ visited

template<class N = graph_nodet<empty_edget>>
std::vector<bool> grapht< N >::tarjant::visited

Definition at line 334 of file graph.h.


The documentation for this class was generated from the following file: