Changeset 249 for trunk/EventBenchConsole/src/de

Timestamp:

10/06/11 19:07:54 (13 years ago)

Author:

sherbold

Message:

 

File:

• trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDmodelSize.java (modified) (1 diff)

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDmodelSize.java

@@ -47 +47 @@
                 IStochasticProcess process = (IStochasticProcess) dataObject;
                 Console.println("#symbols: " + process.getNumSymbols()
-                                + " ; #FOMstates " + process.getNumFOMStates());
+                                + " ; #FOMstates " + process.getNumFOMStates()
+                                + " ; #transitions: " + process.getNumTransitions());
         }