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)); }