Changeset 124
- Timestamp:
- 07/14/11 12:06:52 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java
r119 r124 5 5 import java.util.List; 6 6 7 import de.ugoe.cs.eventbench.coverage.CoverageCalculator ;7 import de.ugoe.cs.eventbench.coverage.CoverageCalculatorProcess; 8 8 import de.ugoe.cs.eventbench.data.Event; 9 9 import de.ugoe.cs.eventbench.data.GlobalDataContainer; … … 61 61 Console.print(sequenceName); 62 62 for( int length=minLength ; length<=maxLength ; length++) { 63 CoverageCalculator covCalc = new CoverageCalculator(process, sequences, length);63 CoverageCalculatorProcess covCalc = new CoverageCalculatorProcess(process, sequences, length); 64 64 Console.print(";" + covCalc.getCoverageAllNoWeight()); 65 65 Console.print(";" + covCalc.getCoveragePossibleNoWeight());
Note: See TracChangeset
for help on using the changeset viewer.