private void CreateWithIntLabels()
{
int[] vertexLabels = new int[vertexCount];
foreach (var externalIndex in vertexMapping.Keys)
{
int internalIndex = vertexMapping[externalIndex];
vertexLabels[internalIndex] = GetIntLabel(externalIndex);
}
dag.InitializeWithIntLabels(vertexLabels);
}