Lines Matching defs:jPred
1180 set predSet,set plainSet,Junction *jPred,Junction *jPlain,Predicate *p)
1182 void MR_reportSetSuppression(predDepth,predSet,plainSet,jPred,jPlain,p)
1186 Junction *jPred;
1195 fprintf(output," WITH predicate: line %d %s\n",jPred->line,FileStr[jPred->file]);
1217 Junction *jPred,Junction *jPlain,Predicate *origPred,Predicate *newPred)
1219 void MR_reportSetRestriction(predDepth,predSet,plainSet,jPred,jPlain,origPred,newPred)
1223 Junction *jPred;
1241 fprintf(output," WITH predicate: line %d %s\n",jPred->line,FileStr[jPred->file]);