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