117 virtual void reset ();
174 void calc_comp_num (
bool set);
194 void store_preds (
bool set);
214 void store_non_tree_edges (
bool set);
236 {
return dfs_number[
n] != 0;}
248 {
return dfs_number[
n];}
259 int operator[] (
const node&
n)
const
260 {
return dfs_number[
n];}
271 {
assert (comp_number);
return (*comp_number)[
n];}
284 {
assert (preds);
return (*preds)[
n];}
301 {
return tree.begin();}
322 {
return dfs_order.begin();}
331 {
return dfs_order.end();}
345 {
assert (back_edges);
return back_edges->begin(); }
355 {
assert (back_edges);
return back_edges->end(); }
390 {
return roots.begin();}
399 {
return roots.end();}
407 int number_of_reached_nodes ()
const
408 {
return reached_nodes;}