Lines Matching refs:phelp
801 Predicate *phelp; local
803 phelp=predicate_dup_without_context(alt1->predicate);
804 phelp=MR_unfold(phelp);
805 MR_clearPredEntry(phelp);
806 MR_simplifyInverted(phelp,0);
807 phelp=MR_predSimplifyALLX(phelp,1);
808 MR_dumpPred1(2,phelp,0);
809 predicate_free(phelp);
823 Predicate *phelp; local
825 phelp=predicate_dup_without_context(alt2->predicate);
826 phelp=MR_unfold(phelp);
827 MR_clearPredEntry(phelp);
828 MR_simplifyInverted(phelp,0);
829 phelp=MR_predSimplifyALLX(phelp,1);
830 MR_dumpPred1(2,phelp,0);
831 predicate_free(phelp);
879 Predicate *phelp; local
881 phelp=predicate_dup_without_context(alt1->predicate);
882 phelp=MR_unfold(phelp);
883 MR_clearPredEntry(phelp);
884 MR_simplifyInverted(phelp,0);
885 phelp=MR_predSimplifyALLX(phelp,1);
886 MR_dumpPred1(2,phelp,0);
887 predicate_free(phelp);
901 Predicate *phelp; local
903 phelp=predicate_dup_without_context(alt2->predicate);
904 phelp=MR_unfold(phelp);
905 MR_clearPredEntry(phelp);
906 MR_simplifyInverted(phelp,0);
907 phelp=MR_predSimplifyALLX(phelp,1);
908 MR_dumpPred1(2,phelp,0);
909 predicate_free(phelp);