Lines Matching refs:aft
751 SP("aft", st, c);
854 states aft) /* states already known reachable after */
873 FWD(aft, bef, 1);
877 FWD(aft, bef, 1);
881 FWD(aft, bef, 1);
885 FWD(aft, bef, 1);
889 FWD(aft, bef, 1);
893 FWD(aft, bef, 1);
898 FWD(aft, bef, 1);
902 FWD(aft, aft, 1);
905 FWD(aft, aft, 1);
908 FWD(aft, aft, 1);
909 i = ISSETBACK(aft, OPND(s));
910 BACK(aft, aft, OPND(s));
911 if (!i && ISSETBACK(aft, OPND(s))) {
918 FWD(aft, aft, 1);
919 FWD(aft, aft, OPND(s));
922 FWD(aft, aft, 1);
926 FWD(aft, aft, 1);
929 FWD(aft, aft, 1);
931 FWD(aft, aft, OPND(s));
934 if (ISSTATEIN(aft, here)) {
939 FWD(aft, aft, look);
943 FWD(aft, aft, 1);
946 FWD(aft, aft, OPND(s));
950 FWD(aft, aft, 1);
958 return(aft);
