Lines Matching refs:MR_guardPred_plainSet
2597 void MR_guardPred_plainSet(ActionNode *anode,Predicate *pred) 2599 void MR_guardPred_plainSet(anode,pred) 2637 require (anode->next->ntype == nJunction,"MR_guardpred_plainSet not Junction");