TpgMFFC

class TpgMFFC : public TpgObjBase

TpgNetwork の MFFC(Maximal Fanout Free Cone) の情報を表すクラス

具体的には以下の情報を持つ．

  • MFFC の根のノード

  • MFFC に含まれる FFR のリスト

  • MFFC に含まれる故障のリスト 一度設定されたら不変のオブジェクトとなる．

参考

TpgNetwork

参考

TpgNode

参考

TpgFFR

Public Functions

TpgMFFC() = default

空のコンストラクタ

不正な値となる．

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

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

パラメータ:

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

  • id -- [in] ID番号

~TpgMFFC() = default

デストラクタ

TpgNode root() const

根のノードを返す．

SizeType ffr_num() const

このMFFCに含まれるFFR数を返す．

TpgFFR ffr(SizeType index) const

このMFFCに含まれるFFRを返す．

パラメータ:

index -- [in] 位置番号 ( 0 <= index < ffr_num() )

TpgFFRList ffr_list() const

このMFFCに含まれるFFRのリストを返す．