X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2FGraph.h;h=2f5de3de36fd6812eee65ed114a771e7ffcf9b33;hb=f63de41c4c2180705b44c3444718d7f35df89b8a;hp=ad7f4fd02ecc457cdb95e10473fce4a9e579af97;hpb=bf8f302b64d3d8eabb2ee4abf8a94355684e7257;p=lyx.git diff --git a/src/Graph.h b/src/Graph.h index ad7f4fd02e..2f5de3de36 100644 --- a/src/Graph.h +++ b/src/Graph.h @@ -13,8 +13,10 @@ #ifndef GRAPH_H #define GRAPH_H + #include #include +#include #include @@ -29,10 +31,10 @@ public: /// typedef std::vector EdgePath; /// \return a vector of the vertices from which "to" can be reached - std::vector const getReachableTo(int to, bool clear_visited); - /// \return a vector of the vertices that can be reached from "from" - std::vector const - getReachable(int from, bool only_viewable, bool clear_visited); + EdgePath const getReachableTo(int to, bool clear_visited); + /// \return a vector of the reachable vertices, avoiding all "excludes" + EdgePath const getReachable(int from, bool only_viewable, + bool clear_visited, std::set excludes = std::set()); /// can "from" be reached from "to"? bool isReachable(int from, int to); /// find a path from "from" to "to". always returns one of the @@ -45,29 +47,21 @@ public: private: /// - bool bfs_init(int, bool clear_visited = true); - /// clears the "marks" on the arrows. should be called - /// before any new marking begins. - void clearMarks(); - /// used to recover a marked path - void getMarkedPath(int from, int to, EdgePath & path); + bool bfs_init(int, bool clear_visited, std::queue & Q); /// these represent the arrows connecting the nodes of the graph. - /// this is the basic representation of the graph: as a bunch of + /// this is the basic representation of the graph: as a bunch of /// arrows. struct Arrow { /// - Arrow(int f, int t, int i): - from(f), to(t), id(i), marked(false) {} + Arrow(int f, int t, int i): + from(f), to(t), id(i) {} /// the vertex at the tail of the arrow int from; /// the vertex at the head int to; - /// an id for this arrow, e.g., for use in describing paths + /// an id for this arrow, e.g., for use in describing paths /// through the graph int id; - /// used for "marking" paths, i.e., constructing sub-graphs - /// without really doing so. - bool marked; }; /// a container for the arrows /// we use a list because we want pointers to the arrows, @@ -93,8 +87,7 @@ private: /// of Format, this is easy, since the Format objects already have ints /// as identifiers.) std::vector vertices_; - /// - std::queue Q_; + /// a counter that we use to assign id's to the arrows /// FIXME This technique assumes a correspondence between the /// ids of the arrows and ids associated with Converters that