DiffBits¶
-
class DiffBits¶
故障の影響が伝搬したかどうかを表すビットベクタ
意味的には出力数ぶんのビットベクタだが実際にはほぼゼロなので 非ゼロ要素の番号のリストで表す.
参考
Public Functions
-
DiffBits() = default¶
空のコンストラクタ
-
~DiffBits() = default¶
デストラクタ
-
inline SizeType elem_num() const¶
非ゼロの出力数を返す.
-
inline SizeType output(SizeType pos) const¶
非ゼロの出力番号を返す.
- パラメータ:
pos -- [in] 位置 ( 0 <= pos < elem_num() )
-
inline void clear()¶
内容をクリアする.
-
inline void add_output(SizeType output)¶
出力番号を追加する.
- パラメータ:
output -- [in] 出力番号
-
inline void sort()¶
内容をソートする.
-
inline void print(std::ostream &s) const¶
内容を出力する.
-
inline SizeType hash() const¶
ハッシュ関数
-
DiffBits() = default¶