Lines Matching refs:aft
843 states aft) /* states already known reachable after */ in step() argument
862 FWD(aft, bef, 1); in step()
866 FWD(aft, bef, 1); in step()
870 FWD(aft, bef, 1); in step()
874 FWD(aft, bef, 1); in step()
878 FWD(aft, bef, 1); in step()
882 FWD(aft, bef, 1); in step()
887 FWD(aft, bef, 1); in step()
891 FWD(aft, aft, 1); in step()
894 FWD(aft, aft, 1); in step()
897 FWD(aft, aft, 1); in step()
898 i = ISSETBACK(aft, OPND(s)); in step()
899 BACK(aft, aft, OPND(s)); in step()
900 if (!i && ISSETBACK(aft, OPND(s))) { in step()
907 FWD(aft, aft, 1); in step()
908 FWD(aft, aft, OPND(s)); in step()
911 FWD(aft, aft, 1); in step()
915 FWD(aft, aft, 1); in step()
918 FWD(aft, aft, 1); in step()
920 FWD(aft, aft, OPND(s)); in step()
923 if (ISSTATEIN(aft, here)) { in step()
928 FWD(aft, aft, look); in step()
932 FWD(aft, aft, 1); in step()
935 FWD(aft, aft, OPND(s)); in step()
939 FWD(aft, aft, 1); in step()
947 return(aft); in step()