Searched refs:dfn_counter (Results 1 – 1 of 1) sorted by relevance
54 int dfn_counter; variable61 dfn_counter = DFN_NAN; in dfn_init()304 dfn_counter += 1; in dfn_post_visit()306 memberp -> toporder = dfn_counter; in dfn_post_visit()311 printf( " -> toporder = %d\n" , dfn_counter ); in dfn_post_visit()