114 virtual void reset ();
175 void calc_level (
bool set);
194 void store_non_tree_edges (
bool set);
215 void store_preds (
bool set);
232 {
return bfs_number[
n] != 0;}
244 {
return bfs_number[
n];}
255 int operator[] (
const node&
n)
const
256 {
return bfs_number[
n];}
269 {
assert (level_number);
return (*level_number)[
n];}
285 {
assert (preds);
return (*preds)[
n];}
302 {
return tree.begin();}
324 {
return bfs_order.begin();}
333 {
return bfs_order.end();}
347 {
assert (non_tree);
return non_tree->begin(); }
357 {
assert (non_tree);
return non_tree->end(); }
394 {
return roots.begin();}
403 {
return roots.end();}
411 int number_of_reached_nodes ()
const
412 {
return reached_nodes;}