Changeset 249 for trunk/EventBenchConsole/src/de/ugoe/cs
- Timestamp:
- 10/06/11 19:07:54 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDmodelSize.java
r240 r249 47 47 IStochasticProcess process = (IStochasticProcess) dataObject; 48 48 Console.println("#symbols: " + process.getNumSymbols() 49 + " ; #FOMstates " + process.getNumFOMStates()); 49 + " ; #FOMstates " + process.getNumFOMStates() 50 + " ; #transitions: " + process.getNumTransitions()); 50 51 } 51 52
Note: See TracChangeset
for help on using the changeset viewer.