Changeset 249 for trunk


Ignore:
Timestamp:
10/06/11 19:07:54 (13 years ago)
Author:
sherbold
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDmodelSize.java

    r240 r249  
    4747                IStochasticProcess process = (IStochasticProcess) dataObject; 
    4848                Console.println("#symbols: " + process.getNumSymbols() 
    49                                 + " ; #FOMstates " + process.getNumFOMStates()); 
     49                                + " ; #FOMstates " + process.getNumFOMStates() 
     50                                + " ; #transitions: " + process.getNumTransitions()); 
    5051        } 
    5152 
Note: See TracChangeset for help on using the changeset viewer.