19 #ifndef SPOT_FASTTGBAALGOS_EC_CONCUREC_CONCUR_EC_STAT_HH
20 # define SPOT_FASTTGBAALGOS_EC_CONCUREC_CONCUR_EC_STAT_HH
22 #include "fasttgbaalgos/ec/ec.hh"
32 virtual bool has_counterexample() = 0;
34 virtual std::string csv() = 0;
36 virtual std::chrono::milliseconds::rep get_elapsed_time() = 0;
38 virtual int nb_inserted() = 0;
42 #endif // SPOT_FASTTGBAALGOS_EC_CONCUREC_CONCUR_EC_STAT_HH
Definition: concur_ec_stat.hh:28