Lines Matching refs:nextstate
499 if (x.nextstate < y.nextstate) return true;
500 if (x.nextstate > y.nextstate) return false;
509 x.nextstate == y.nextstate);
574 if (x.nextstate < y.nextstate) return true;
575 if (x.nextstate > y.nextstate) return false;
584 x.nextstate == y.nextstate &&
