github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-06-28 16:41:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

ng_violet: det. vertex ordering in splitRoseEdge

Browse Source
This commit is contained in:
Justin Viiret 2016-07-21 14:22:05 +10:00 committed by Matthew Barr
parent 63528f1cd2
commit 68ae4cc7c8
1 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/nfagraph/ng_violet.cpp
View File

@ -1007,20 +1007,24 @@ bool splitRoseEdge(const NGHolder &base_graph, RoseInGraph &vg,
insert(&splitter_reports, base_graph[v].reports); insert(&splitter_reports, base_graph[v].reports);
} }
/* find the targets of each source vertex */ /* find the targets of each source vertex; note the use of vectors to
map<RoseInVertex, flat_set<RoseInVertex> > images; * preserve deterministic ordering */
vector<RoseInVertex> sources;
map<RoseInVertex, vector<RoseInVertex>> images;
for (const RoseInEdge &e : ee) { for (const RoseInEdge &e : ee) {
RoseInVertex src = source(e, vg); RoseInVertex src = source(e, vg);
RoseInVertex dest = target(e, vg); RoseInVertex dest = target(e, vg);
images[src].insert(dest); if (!contains(images, src)) {
sources.push_back(src);
}
images[src].push_back(dest);
remove_edge(e, vg); remove_edge(e, vg);
} }
map<flat_set<RoseInVertex>, vector<RoseInVertex> > verts_by_image; map<vector<RoseInVertex>, vector<RoseInVertex>> verts_by_image;
for (const auto &elem : images) { for (const auto &u : sources) {
RoseInVertex u = elem.first; const auto &image = images[u];
const auto &image = elem.second;
if (contains(verts_by_image, image)) { if (contains(verts_by_image, image)) {
for (RoseInVertex v : verts_by_image[image]) { for (RoseInVertex v : verts_by_image[image]) {