Searched refs:phelp (Results 1 – 1 of 1) sorted by relevance
801 Predicate *phelp; local803 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; local825 phelp=predicate_dup_without_context(alt2->predicate);[all …]