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