DtpgStats¶
-
class DtpgStats¶
DTPG の統計情報を表すクラス
Public Functions
-
inline DtpgStats()¶
空のコンストラクタ
適切な初期化を行う．
-
~DtpgStats() = default¶
デストラクタ
-
inline SizeType total_count() const¶
トータルの計算回数
-
inline SizeType detect_count() const¶
テスト生成が成功した回数を返す．
-
inline double detect_time() const¶
テスト生成が成功した時の計算時間の合計を返す．
-
inline SizeType untest_count() const¶
冗長故障を特定した回数を返す．
-
inline double untest_time() const¶
冗長故障を特定した時の計算時間の合計を返す．
-
inline SizeType abort_count() const¶
アボートした回数を返す．
-
inline double abort_time() const¶
アボートした時の計算時間の合計を返す．
-
inline SizeType cnfgen_count() const¶
CNF の生成回数を返す．
-
inline double cnfgen_time() const¶
CNF の生成にかかった計算時間の合計を返す．
-
inline const SatStats &sat_stats() const¶
SAT の統計情報を返す．
-
inline const SatStats &sat_stats_max() const¶
SAT の統計情報の最大値を返す．
-
inline double backtrace_time() const¶
バックトレースにかかった計算時間の合計を返す．
-
inline void clear()¶
初期化する．
-
inline void update_det(double sat_time, double backtrace_time)¶
DetStats を更新する
- パラメータ:
sat_time -- [in] SATにかかった時間
backtrace_time -- [in] バックトレースにかかった時間
-
inline void update_untest(double time)¶
RedStats を更新する
- パラメータ:
time -- [in] SATにかかった時間
-
inline void update_abort(double time)¶
AbortStats を更新する
- パラメータ:
time -- [in] SATにかかった時間
-
inline void update_cnf(double time)¶
CNF 生成の情報を更新する．
- パラメータ:
time -- [in] CNF生成にかかった時間
-
inline void update_sat_stats(const SatStats &src_stats)¶
SAT の統計情報を更新する．
-
inline DtpgStats()¶