songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove unnecessary assertions

This commit is contained in:
Mael Rouxel-Labbé 2022-03-18 09:01:09 +01:00
parent 27ba7b6ba5
commit 74233ddc36
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
STL_Extension/include/CGAL/Modifiable_priority_queue.h
View File

@ -157,14 +157,13 @@ public:
} }
Modifiable_priority_queue(const Modifiable_priority_queue&) = delete; Modifiable_priority_queue(const Modifiable_priority_queue&) = delete;
Modifiable_priority_queue& operator=(const Modifiable_priority_queue& other) = delete; Modifiable_priority_queue& operator=(const Modifiable_priority_queue&) = delete;
public: public:
handle_type push(const value_type& v) handle_type push(const value_type& v)
{ {
CGAL_precondition(!contains(v)); CGAL_precondition(!contains(v));
auto vid = get(mID, v); auto vid = get(mID, v);
CGAL_assertion(0 <= vid && vid < mHandles.size());
mHandles[vid] = mHeap.push(v); mHandles[vid] = mHeap.push(v);
return mHandles[vid]; return mHandles[vid];
} }
@ -173,7 +172,6 @@ public:
{ {
CGAL_precondition(contains(v)); CGAL_precondition(contains(v));
auto vid = get(mID, v); auto vid = get(mID, v);
CGAL_assertion(0 <= vid && vid < mHandles.size());
mHeap.update(mHandles[vid]); mHeap.update(mHandles[vid]);
} }
@ -182,7 +180,6 @@ public:
CGAL_precondition(contains(v)); CGAL_precondition(contains(v));
auto vid = get(mID, v); auto vid = get(mID, v);
mHeap.erase(mHandles[vid]); mHeap.erase(mHandles[vid]);
CGAL_assertion(0 <= vid && vid < mHandles.size());
mHandles[vid] = handle_type(); mHandles[vid] = handle_type();
} }