Java StatisticsData Examples

Example #1

File: BuchiAutomizerTimingBenchmark.java Project: ultimate-pa/ultimate

 @Override
 public String toString() {
   return mBenchmarkData.toString();
 }

Example #2

File: BuchiAutomizerTimingBenchmark.java Project: ultimate-pa/ultimate

 @Override
 public ICsvProvider<Object> createCvsProvider() {
   return mBenchmarkData.createCvsProvider();
 }

Example #3

File: BuchiAutomizerTimingBenchmark.java Project: ultimate-pa/ultimate

 public BuchiAutomizerTimingBenchmark(BuchiCegarLoopBenchmarkGenerator benchGen) {
   mBenchmarkData = new StatisticsData();
   mBenchmarkData.aggregateBenchmarkData(benchGen);
 }