mirror of
https://github.com/VectorCamp/vectorscan.git
synced 2025-06-28 16:41:01 +03:00
rose: delete dead code for cloneVertex
This commit is contained in:
parent
d48a11cbbd
commit
d43e9d838f
@ -509,8 +509,6 @@ public:
|
|||||||
// Is the Rose anchored?
|
// Is the Rose anchored?
|
||||||
bool hasNoFloatingRoots() const;
|
bool hasNoFloatingRoots() const;
|
||||||
|
|
||||||
RoseVertex cloneVertex(RoseVertex v);
|
|
||||||
|
|
||||||
u32 calcHistoryRequired() const;
|
u32 calcHistoryRequired() const;
|
||||||
|
|
||||||
rose_group getInitialGroups() const;
|
rose_group getInitialGroups() const;
|
||||||
|
@ -866,17 +866,6 @@ bool operator<(const RoseEdgeProps &a, const RoseEdgeProps &b) {
|
|||||||
return false;
|
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
|
#ifndef NDEBUG
|
||||||
bool roseHasTops(const RoseBuildImpl &build, RoseVertex v) {
|
bool roseHasTops(const RoseBuildImpl &build, RoseVertex v) {
|
||||||
const RoseGraph &g = build.g;
|
const RoseGraph &g = build.g;
|
||||||
|
Loading…
x
Reference in New Issue
Block a user