mirror of
https://github.com/boostorg/intrusive.git
synced 2025-08-02 14:04:36 +02:00
Fixed "pointed to by pos" with "pointed to by i"
This commit is contained in:
@@ -1273,7 +1273,7 @@ class bstree_impl
|
|||||||
node_algorithms::push_front(this->header_ptr(), to_insert);
|
node_algorithms::push_front(this->header_ptr(), to_insert);
|
||||||
}
|
}
|
||||||
|
|
||||||
//! <b>Effects</b>: Erases the element pointed to by pos.
|
//! <b>Effects</b>: Erases the element pointed to by i.
|
||||||
//!
|
//!
|
||||||
//! <b>Complexity</b>: Average complexity for erase element is constant time.
|
//! <b>Complexity</b>: Average complexity for erase element is constant time.
|
||||||
//!
|
//!
|
||||||
@@ -1346,7 +1346,7 @@ class bstree_impl
|
|||||||
|
|
||||||
//! <b>Requires</b>: Disposer::operator()(pointer) shouldn't throw.
|
//! <b>Requires</b>: Disposer::operator()(pointer) shouldn't throw.
|
||||||
//!
|
//!
|
||||||
//! <b>Effects</b>: Erases the element pointed to by pos.
|
//! <b>Effects</b>: Erases the element pointed to by i.
|
||||||
//! Disposer::operator()(pointer) is called for the removed element.
|
//! Disposer::operator()(pointer) is called for the removed element.
|
||||||
//!
|
//!
|
||||||
//! <b>Complexity</b>: Average complexity for erase element is constant time.
|
//! <b>Complexity</b>: Average complexity for erase element is constant time.
|
||||||
|
@@ -713,7 +713,7 @@ class treap_impl
|
|||||||
this->tree_type::sz_traits().increment();
|
this->tree_type::sz_traits().increment();
|
||||||
}
|
}
|
||||||
|
|
||||||
//! <b>Effects</b>: Erases the element pointed to by pos.
|
//! <b>Effects</b>: Erases the element pointed to by i.
|
||||||
//!
|
//!
|
||||||
//! <b>Complexity</b>: Average complexity for erase element is constant time.
|
//! <b>Complexity</b>: Average complexity for erase element is constant time.
|
||||||
//!
|
//!
|
||||||
@@ -789,7 +789,7 @@ class treap_impl
|
|||||||
|
|
||||||
//! <b>Requires</b>: Disposer::operator()(pointer) shouldn't throw.
|
//! <b>Requires</b>: Disposer::operator()(pointer) shouldn't throw.
|
||||||
//!
|
//!
|
||||||
//! <b>Effects</b>: Erases the element pointed to by pos.
|
//! <b>Effects</b>: Erases the element pointed to by i.
|
||||||
//! Disposer::operator()(pointer) is called for the removed element.
|
//! Disposer::operator()(pointer) is called for the removed element.
|
||||||
//!
|
//!
|
||||||
//! <b>Complexity</b>: Average complexity for erase element is constant time.
|
//! <b>Complexity</b>: Average complexity for erase element is constant time.
|
||||||
|
Reference in New Issue
Block a user