static void PrintResults(int duration, LGSPGraph graph)
{
Console.WriteLine("Mutex benchmark: " + duration + " ms");
Console.WriteLine("Number of nodes: " + graph.NumNodes);
Console.WriteLine("Number of edges: " + graph.NumEdges);
Console.WriteLine("Number of Process nodes: " + graph.GetNumExactNodes(Process.TypeInstance));
Console.WriteLine("Number of Resource nodes: " + graph.GetNumExactNodes(Resource.TypeInstance));
Console.WriteLine("Number of next edges: " + graph.GetNumExactEdges(next.TypeInstance));
Console.WriteLine("Number of request edges: " + graph.GetNumExactEdges(request.TypeInstance));
Console.WriteLine("Number of token edges: " + graph.GetNumExactEdges(token.TypeInstance));
}
static void PrintResults(int duration, LGSPGraph graph)
{
Console.WriteLine("AntWorld benchmark: " + duration + " ms");
Console.WriteLine("Number of nodes: " + graph.NumNodes);
Console.WriteLine("Number of edges: " + graph.NumEdges);
Console.WriteLine("Number of Process nodes: " + graph.GetNumExactNodes(Ant.TypeInstance));
Console.WriteLine("Number of Resource nodes: " + graph.GetNumExactNodes(GridNode.TypeInstance));
Console.WriteLine("Number of Process nodes: " + graph.GetNumExactNodes(GridCornerNode.TypeInstance));
Console.WriteLine("Number of Resource nodes: " + graph.GetNumExactNodes(AntHill.TypeInstance));
Console.WriteLine("Number of next edges: " + graph.GetNumExactEdges(NextAnt.TypeInstance));
Console.WriteLine("Number of request edges: " + graph.GetNumExactEdges(GridEdge.TypeInstance));
Console.WriteLine("Number of token edges: " + graph.GetNumExactEdges(PathToHill.TypeInstance));
Console.WriteLine("Number of token edges: " + graph.GetNumExactEdges(AntPosition.TypeInstance));
}
