From d43e9d838f38f561072984c2365cce788939b751 Mon Sep 17 00:00:00 2001 From: Justin Viiret Date: Thu, 2 Feb 2017 10:35:40 +1100 Subject: [PATCH] rose: delete dead code for cloneVertex --- src/rose/rose_build_impl.h | 2 -- src/rose/rose_build_misc.cpp | 11 ----------- 2 files changed, 13 deletions(-) diff --git a/src/rose/rose_build_impl.h b/src/rose/rose_build_impl.h index 8748a08c..dd0752f6 100644 --- a/src/rose/rose_build_impl.h +++ b/src/rose/rose_build_impl.h @@ -509,8 +509,6 @@ public: // Is the Rose anchored? bool hasNoFloatingRoots() const; - RoseVertex cloneVertex(RoseVertex v); - u32 calcHistoryRequired() const; rose_group getInitialGroups() const; diff --git a/src/rose/rose_build_misc.cpp b/src/rose/rose_build_misc.cpp index 142bf138..549cc4f1 100644 --- a/src/rose/rose_build_misc.cpp +++ b/src/rose/rose_build_misc.cpp @@ -866,17 +866,6 @@ bool operator<(const RoseEdgeProps &a, const RoseEdgeProps &b) { return false; } -// Note: only clones the vertex, you'll have to wire up your own edges. -RoseVertex RoseBuildImpl::cloneVertex(RoseVertex v) { - RoseVertex v2 = add_vertex(g[v], g); - - for (const auto &lit_id : g[v2].literals) { - literal_info[lit_id].vertices.insert(v2); - } - - return v2; -} - #ifndef NDEBUG bool roseHasTops(const RoseBuildImpl &build, RoseVertex v) { const RoseGraph &g = build.g;