Lines Matching full:aft
739 SP("aft", st, c);
841 states aft) /* states already known reachable after */
860 FWD(aft, bef, 1);
864 FWD(aft, bef, 1);
868 FWD(aft, bef, 1);
872 FWD(aft, bef, 1);
876 FWD(aft, bef, 1);
880 FWD(aft, bef, 1);
885 FWD(aft, bef, 1);
889 FWD(aft, aft, 1);
892 FWD(aft, aft, 1);
895 FWD(aft, aft, 1);
896 i = ISSETBACK(aft, OPND(s));
897 BACK(aft, aft, OPND(s));
898 if (!i && ISSETBACK(aft, OPND(s))) {
905 FWD(aft, aft, 1);
906 FWD(aft, aft, OPND(s));
909 FWD(aft, aft, 1);
913 FWD(aft, aft, 1);
916 FWD(aft, aft, 1);
918 FWD(aft, aft, OPND(s));
921 if (ISSTATEIN(aft, here)) {
926 FWD(aft, aft, look);
930 FWD(aft, aft, 1);
933 FWD(aft, aft, OPND(s));
937 FWD(aft, aft, 1);
945 return(aft);
