Lines Matching refs:states
42 states st; /* current states */
43 states fresh; /* states for a fresh start */
44 states tmp; /* temporary */
45 states empty; /* empty set of states */
632 register states st = m->st;
633 register states fresh = m->fresh;
634 register states tmp = m->tmp;
723 register states st = m->st;
724 register states empty = m->empty;
725 register states tmp = m->tmp;
811 static states
816 register states bef; /* states reachable before */
818 register states aft; /* states already known reachable after */
937 states st;
