Searched refs:dfs_counter (Results 1 – 1 of 1) sorted by relevance
847 int dfs_counter; member in value_topo_info849 value_topo_info () : values_topo (NULL), stack (NULL), dfs_counter (0) in value_topo_info()3740 dfs_counter++; in add_val()3741 cur_val->dfs = dfs_counter; in add_val()3742 cur_val->low_link = dfs_counter; in add_val()