最終更新日時:
が更新

履歴 編集

Edge Mutable Graph

Edge Mutable Graph コンセプトは、辺の追加と削除をサポートするグラフのためのインターフェースを定義する。

Refinement of

Graph

関連型

なし

有効な表現式

  • add_edge(u, v, g)std::pair<edge_descriptor, bool> を返す。

    • 意味: 辺 (u,v) をグラフ中に挿入することを試み、そして挿入された辺または多重辺、かつ辺が挿入されたかどうかを述べるフラグを返す。この操作はグラフの頂点記述子または頂点イテレータを無効にしないはずである。ただし、辺記述子または辺イテレータを無効にするかもしれない。
    • 事前条件: uv がグラフ中の頂点であること。
    • 事後条件: (u,v) がグラフの辺集合中にあること。返された辺記述子は u を始点位置に、v を終点位置に持つだろう。もしグラフが多重辺を許可しているなら、返されるフラグは常に true である。もしグラフが多重辺を許可しておらず、辺 (u,v) がすでにグラフ中にあったら返されるフラグは false である。もし辺 (u,v) がグラフ中になかったら返されるフラグは true である。
  • remove_edge(u, v, g)void を返す。

    • 意味: 辺 (u,v) をグラフから削除する。もしグラフが多重辺を許可しているなら、これは (u,v) の全ての存在を削除する。
    • 事前条件: (u,v) がグラフの辺集合中にあること。
    • 事後条件: (u,v) がもはやグラフの辺集合中にないこと。
  • remove_edge(e, g)void を返す。

    • 意味: 辺 e をグラフから削除する。
    • 事前条件: e がグラフ中の辺であること。
    • 事後条件: e はもはや g のための辺集合中にないこと。
  • clear_vertex(u, g)void を返す。

    • 意味: 頂点 u への、そして頂点 u からの全ての辺をグラフから削除する。
    • 事前条件: ug の有効な頂点記述子であること。
    • 事後条件: ug 中のどの辺の始点または終点としても現れないこと。

計算量の保証

工事中

関連項目

Graphコンセプト


Copyright © 2000-2001 Jeremy Siek, Indiana University (jsiek@osl.iu.edu)

Japanese Translation Copyright © 2003 Takashi Itou

オリジナルの、及びこの著作権表示が全ての複製の中に現れる限り、この文書の複製、利用、変更、販売そして配布を認める。このドキュメントは「あるがまま」に提供されており、いかなる明示的、暗黙的保証も行わない。また、いかなる目的に対しても、その利用が適していることを関知しない。