最終更新日時: 2017年04月29日 15時27分05秒
E Kawashima が更新

Edge Mutable Graph

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

Refinement of

Graph

有効な表現式

add_edge(u, v, g) は std::pair<edge_descriptor, bool> を返す。
- 意味: 辺 (u,v) をグラフ中に挿入することを試み、そして挿入された辺または多重辺、かつ辺が挿入されたかどうかを述べるフラグを返す。この操作はグラフの頂点記述子または頂点イテレータを無効にしないはずである。ただし、辺記述子または辺イテレータを無効にするかもしれない。
- 事前条件: u と v がグラフ中の頂点であること。
- 事後条件: (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 からの全ての辺をグラフから削除する。
- 事前条件: u が g の有効な頂点記述子であること。
- 事後条件: u が g 中のどの辺の始点または終点としても現れないこと。

計算量の保証

工事中

Edge Mutable Graph

Refinement of

関連型

有効な表現式

計算量の保証

関連項目