Lines Matching refs:aft
911 states aft) /* states already known reachable after */ in step() argument
930 FWD(aft, bef, 1); in step()
934 FWD(aft, bef, 1); in step()
938 FWD(aft, bef, 1); in step()
942 FWD(aft, bef, 1); in step()
946 FWD(aft, bef, 1); in step()
950 FWD(aft, bef, 1); in step()
955 FWD(aft, bef, 1); in step()
959 FWD(aft, aft, 1); in step()
962 FWD(aft, aft, 1); in step()
965 FWD(aft, aft, 1); in step()
966 i = ISSETBACK(aft, OPND(s)); in step()
967 BACK(aft, aft, OPND(s)); in step()
968 if (!i && ISSETBACK(aft, OPND(s))) { in step()
975 FWD(aft, aft, 1); in step()
976 FWD(aft, aft, OPND(s)); in step()
979 FWD(aft, aft, 1); in step()
983 FWD(aft, aft, 1); in step()
986 FWD(aft, aft, 1); in step()
988 FWD(aft, aft, OPND(s)); in step()
991 if (ISSTATEIN(aft, here)) { in step()
996 FWD(aft, aft, look + 1); in step()
1000 FWD(aft, aft, 1); in step()
1003 FWD(aft, aft, OPND(s)); in step()
1007 FWD(aft, aft, 1); in step()
1015 return (aft); in step()