DffVector

class DffVector : public BitVector

FF用のビットベクタ

実は BitVector の別名だが他のクラスと区別するために typedef は使わない．

Public Functions

inline explicit DffVector(SizeType len = 0)

コンストラクタ

内容は X で初期化される．

パラメータ:

len -- [in] ベクタ長

inline DffVector(const DffVector &src)

コピーコンストラクタ

パラメータ:

src -- [in] コピー元のソース

inline explicit DffVector(const BitVector &src)

コピーコンストラクタ

パラメータ:

src -- [in] コピー元のソース

inline DffVector &operator=(const DffVector &src)

コピー代入演算子

パラメータ:

src -- [in] コピー元のソース

~DffVector() = default

デストラクタ

inline DffVector operator&(const DffVector &right) const

マージする．

left と right がコンフリクトしている時の結果は不定

パラメータ:

right -- [in] オペランド2

戻り値:

マージ結果を返す．