ノードに関連した変数リテラルを返すクラス
機能的にはノード番号をキーにした連想配列だが ノード番号は連続しているのでただの配列で実装する．
Public Functions
-
inline VidMap(SizeType max_id = 0)
コンストラクタ
- パラメータ:
max_id -- [in] ノード番号の最大値
-
~VidMap() = default
デストラクタ
-
inline SatLiteral operator()(const TpgNode &node) const
ノードに関連した変数リテラルを返す．
- パラメータ:
node -- [in] 対象のノード
-
inline void init(SizeType max_id)
初期化する．
- パラメータ:
max_id -- [in] ノード番号の最大値
-
inline void set_vid(const TpgNode &node, SatLiteral vid)
ノードに関連した変数番号を設定する．
- パラメータ:
node -- [in] 対象のノード
vid -- [in] 変数リテラル