Searched refs:dfn_counter (Results 1 – 1 of 1) sorted by relevance
46 int dfn_counter; variable53 dfn_counter = DFN_NAN; in dfn_init()296 dfn_counter += 1; in dfn_post_visit()298 memberp -> toporder = dfn_counter; in dfn_post_visit()303 printf( " -> toporder = %d\n" , dfn_counter ); in dfn_post_visit()