Lines Matching refs:MR_unfold
2373 * MR_unfold() is called to expand predicate symbols by replacing predicates
2390 Predicate *MR_unfold(Predicate *pred)
2392 Predicate *MR_unfold(pred)
2400 pred->right=MR_unfold(pred->right);
2417 /*** result=MR_unfold(result); *** not necessary */ /* recursive expansion */
2424 pred->down=MR_unfold(pred->down);
2429 /* this should be called immediately after MR_unfold() and
