Lines Matching refs:aft
793 SP("aft", st, c);
918 states aft) /* states already known reachable after */
937 FWD(aft, bef, 1);
941 FWD(aft, bef, 1);
945 FWD(aft, bef, 1);
949 FWD(aft, bef, 1);
953 FWD(aft, bef, 1);
957 FWD(aft, bef, 1);
962 FWD(aft, bef, 1);
966 FWD(aft, aft, 1);
969 FWD(aft, aft, 1);
972 FWD(aft, aft, 1);
973 i = ISSETBACK(aft, OPND(s));
974 BACK(aft, aft, OPND(s));
975 if (!i && ISSETBACK(aft, OPND(s))) {
982 FWD(aft, aft, 1);
983 FWD(aft, aft, OPND(s));
986 FWD(aft, aft, 1);
990 FWD(aft, aft, 1);
993 FWD(aft, aft, 1);
995 FWD(aft, aft, OPND(s));
998 if (ISSTATEIN(aft, here)) {
1003 FWD(aft, aft, look);
1007 FWD(aft, aft, 1);
1010 FWD(aft, aft, OPND(s));
1014 FWD(aft, aft, 1);
1022 return(aft);