Lines Matching defs:P2
345 pword P1,P2,P3;
350 CopyToPrologWord(P2,Val2.all,Tag2.kernel);
353 res = disjunctive(&P1,&P2,&P3, &list);
1245 pword P1,P2,P3,P4,P5;
1250 CopyToPrologWord(P2,Val2.all,Tag2.kernel);
1255 res = contigs(&P1,&P2,&P3,&P4,&P5, &list);
1975 pword P1,P2,P3,P4;
1980 CopyToPrologWord(P2,Val2.all,Tag2.kernel);
1984 res = sequences(&P1,&P2,&P3,&P4, &list);
2594 pword P1,P2,P3,P4,P5;
2599 CopyToPrologWord(P2,Val2.all,Tag2.kernel);
2604 res = disjunction_choose(&P1,&P2,&P3,&P4,&P5, &list);