TpgFault

class TpgFault : public TpgObjBase

故障を表すクラス

実体は TpgFaultImpl が表す． このクラスは NetworkRep への共有ポインタと故障番号のみを持つ． TpgFaultImpl は NetworkRep に故障番号を与えることで取得することができる．

Public Functions

TpgFault() = default

空のコンストラクタ

不正な値となる．

inline explicit TpgFault(const std::shared_ptr<NetworkRep> &network, SizeType id)

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

パラメータ:

• network -- [in] 親のネットワーク

• id -- [in] ID番号

~TpgFault() = default

デストラクタ

TpgGate gate() const

対象のゲートを返す．

FaultType fault_type() const

故障の種類を返す．

Fval2 fval() const

故障値を返す．

網羅故障の場合は意味を持たない．

bool is_stem() const

ステムの故障の時 true を返す．

網羅故障の場合は意味を持たない．

bool is_branch() const

ブランチの故障の時 true を返す．

網羅故障の場合は意味を持たない．

SizeType branch_pos() const

ブランチの故障の時の入力位置を返す．

is_branch() == false の場合は意味を持たない．

std::vector<bool> input_vals() const

網羅故障の場合の入力値のベクトルを返す．

網羅故障以外では意味を持たない．

TpgFault rep_fault() const

代表故障を返す．

自身が代表故障の場合は自身を返す．

std::string str() const

故障の内容を表す文字列を返す．

TpgNode origin_node() const

故障伝搬の起点となるノードを返す．

AssignList excitation_condition() const

故障が励起して origin_node の出力まで伝搬する条件を求める．

TpgNode ffr_root() const

origin_node を含む FFR の根のノードを返す．

AssignList ffr_propagate_condition() const

故障が励起してFFRの根まで伝搬する条件を求める．

SizeType hash() const

ハッシュ用の値を返す．

Related

inline std::ostream &operator<<(std::ostream &s, const TpgFault &f)

ストリーム出力演算子

パラメータ:

• s -- [in] 出力先のストリーム

• f -- [in] 故障