BdEngine¶

class BdEngine : public StructEngine ¶

BoolDiffEnc を一つ組み込んだ StructEngine

Public Functions

inline BdEngine(const TpgNetwork &network, const TpgNode &node, const JsonValue &option = JsonValue{})¶

コンストラクタ

パラメータ:

network -- [in] ネットワーク
node -- [in] 対象のノード
option -- [in] オプション

~BdEngine() = default¶: デストラクタ

inline const TpgNodeList &output_list() const¶: root_node() から到達可能な外部出力のリストを返す．

inline SizeType output_num() const¶: root_node() から到達可能な外部出力の数を返す．

inline TpgNode output(SizeType pos) const¶

root_node() から到達可能な外部出力を返す．

パラメータ:: pos -- [in] 出力番号 ( 0 <= pos < output_num() )

inline SatLiteral prop_var() const¶: 伝搬変数

inline SatLiteral prop_var(SizeType pos) const¶

微分結果を表す変数を返す．

パラメータ:: pos -- [in] 出力番号 ( 0 <= pos < output_num() )

inline AssignList extract_sufficient_condition()¶: 直前の check() が成功したときの十分条件を求める．

inline AssignList extract_sufficient_condition(SizeType pos)¶

直前の check() が成功したときの十分条件を求める．

パラメータ:: pos -- [in] 出力番号 ( 0 <= pos < output_num() )