Searched refs:graphPhase (Results 1 – 1 of 1) sorted by relevance
609 const graphPhase: GraphPhase = Object.assign(phase, { highestNodeId: 0 }); constant610 this.phaseNames.set(graphPhase.name, this.phases.length);611 this.phases.push(graphPhase);612 this.recordOrigins(graphPhase);613 this.internNodeLabels(graphPhase, nodeLabelMap);614 graphPhase.nodeLabelMap = nodeLabelMap.slice();