Lines Matching refs:numVertex
184 blockCount= numVertex - startId - 1;
202 blockCount= numVertex - startId - 1;
220 blockCount= numVertex - startId;
226 blockCount= numVertex - startId;
312 CopyFastArcs (subList[ruleId], 0, subList[ruleId]->numArc, numVertex,
337 numVertex= maxVertId;
338 else if (numVertex < maxVertId)
339 numVertex= maxVertId;
376 int *nodeList= new int [numVertex];
377 int *visitList= new int [numVertex];
378 for (int ii= 0; ii < numVertex; ii++)
382 ProcessBegins (startPoint, endPoint, BEGINRULE_LABEL, nodeList, 0, visitList, numVertex);
397 int *nodeList= new int [numVertex];
398 int *visitList= new int [numVertex];
399 for (int ii= 0; ii < numVertex; ii++)
403 ProcessEnds (endPoint, startPoint, ENDRULE_LABEL, nodeList, 0, visitList, numVertex);
418 int *nodeList= new int [numVertex];
419 int *visitList= new int [numVertex];
420 for (int ii= 0; ii < numVertex; ii++)
424 ProcessBegins (startPoint, endPoint, NONE_LABEL, nodeList, 0, visitList, numVertex);
455 int *nodeList= new int [numVertex];
456 int *visitList= new int [numVertex];
457 for (int ii= 0; ii < numVertex; ii++)
461 ProcessBegins (startPoint, endPoint, BEGINSCOPE_LABEL, nodeList, 0, visitList, numVertex);
527 int *nodeList= new int [numVertex];
528 int *visitList= new int [numVertex];
529 for (int ii= 0; ii < numVertex; ii++)
533 ProcessEnds (endPoint, startPoint, ENDSCOPE_LABEL, nodeList, 0, visitList, numVertex);
638 depthMap= new int [numVertex];
639 for (ii= 0; ii < numVertex; ii++)
644 for (ii= 0; ii < numVertex; ii++)
649 equivMap= new int [numVertex];
650 for (ii= 0; ii < numVertex; ii++)
684 for (ii= 0; ii < numVertex; ii++) {
690 //printf (" Node %d, Total %d, Arcs %d\n", ii, numVertex, numArc);
743 arc[ii]->AssignToId (numVertex);
748 (void) CreateArc (TERMINAL_LABEL, NONE_LABEL, numVertex, TERMINAL_LABEL); // Add terminal transition
749 numVertex++;
763 int *nodeList= new int [numVertex];
764 int *visitList= new int [numVertex];
765 for (int ii= 0; ii < numVertex; ii++)
769 ProcessTags (endPoint, startPoint, nodeList, 0, visitList, numVertex);
