Searched refs:issue_no (Results 1 – 2 of 2) sorted by relevance
177 issue_no = no_of_statems; in statem()192 issue_no = copy->issue_no; in statem()224 fprintf(stderr, "compared state %d\n", compare->issue_no); in flush()379 fprintf(stderr, "--> state %d pushed\n", n->issue_no) ; fflush(stderr); in push_state()428 sp->state->issue_no); in inherit()
91 int issue_no; member