CondGenStats

class CondGenStats

CondGenMgr::make_cnf() の実行時の統計情報を表すクラス

Public Functions

CondGenStats() = default

空のコンストラクタ

内容は不定

inline CondGenStats(const CnfSize &base, const CnfSize &bd, const CnfSize &cond)

値を指定したコンストラクタ

~CondGenStats() = default

デストラクタ

inline CnfSize base_size() const

正常回路を表すCNFのサイズを返す．

inline CnfSize bd_size() const

ブール微分用のCNFのサイズを返す．

inline CnfSize cond_size() const

検出条件から作られたCNFのサイズを返す．