Edge Mutable Graph コンセプトは辺の追加と削除をサポートするグラフの
ためのインターフェースを定義する。
Refinement of
Graph
Associated Types
結びつけられた型はない。
Valid Expressions
- 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) はグラフの辺集合中にある。
Postcondition: (u,v) はもはやグラフの辺集合中にない。
-
remove_edge(e, g)
は void を 返す。
意味: 辺 e をグラフから削除する。
事前条件: e はグラフ中の辺である。
事後条件: e はもはや g のための辺集合中にない。
-
clear_vertex(u, g)
は void を 返す。
意味: 頂点 u への、そして頂点 u からの全ての辺を
グラフから削除する。
事前条件: u は g の有効な頂点記述子である。
事後条件: u は g 中のどの辺の始点または終点としても
現れない。
Complexity guarantees
工事中
See Also
Graph concepts
Japanese Translation Copyright © 2003 Takashi Itou
オリジナルの、及びこの著作権表示が全ての複製の中に現れる限り、この文書の複製、利用、変更、販売そして配布を認める。このドキュメントは「あるがまま」に提供されており、いかなる明示的、暗黙的保証も行わない。また、いかなる目的に対しても、その利用が適していることを関知しない。
このドキュメントの対象: Boost Version 1.29.0
最新版ドキュメント (英語)