
iterator begin() ;
Effects: Returns an iterator pointing to the beginning of the splay_set.
Complexity: Constant.
Throws: Nothing.

const_iterator begin() const;
Effects: Returns a const_iterator pointing to the beginning of the splay_set.
Complexity: Constant.
Throws: Nothing.

const_iterator cbegin() const;
Effects: Returns a const_iterator pointing to the beginning of the splay_set.
Complexity: Constant.
Throws: Nothing.

iterator end() ;
Effects: Returns an iterator pointing to the end of the splay_set.
Complexity: Constant.
Throws: Nothing.

const_iterator end() const;
Effects: Returns a const_iterator pointing to the end of the splay_set.
Complexity: Constant.
Throws: Nothing.

const_iterator cend() const;
Effects: Returns a const_iterator pointing to the end of the splay_set.
Complexity: Constant.
Throws: Nothing.

reverse_iterator rbegin() ;
Effects: Returns a reverse_iterator pointing to the beginning of the reversed splay_set.
Complexity: Constant.
Throws: Nothing.

const_reverse_iterator rbegin() const;
Effects: Returns a const_reverse_iterator pointing to the beginning of the reversed splay_set.
Complexity: Constant.
Throws: Nothing.

const_reverse_iterator crbegin() const;
Effects: Returns a const_reverse_iterator pointing to the beginning of the reversed splay_set.
Complexity: Constant.
Throws: Nothing.

reverse_iterator rend() ;
Effects: Returns a reverse_iterator pointing to the end of the reversed splay_set.
Complexity: Constant.
Throws: Nothing.

const_reverse_iterator rend() const;
Effects: Returns a const_reverse_iterator pointing to the end of the reversed splay_set.
Complexity: Constant.
Throws: Nothing.

const_reverse_iterator crend() const;
Effects: Returns a const_reverse_iterator pointing to the end of the reversed splay_set.
Complexity: Constant.
Throws: Nothing.

key_compare key_comp() const;
Effects: Returns the key_compare object used by the splay_set.
Complexity: Constant.
Throws: If key_compare copyconstructor throws.

value_compare value_comp() const;
Effects: Returns the value_compare object used by the splay_set.
Complexity: Constant.
Throws: If value_compare copyconstructor throws.

bool empty() const;
Effects: Returns true is the container is empty.
Complexity: Constant.
Throws: Nothing.

size_type size() const;
Effects: Returns the number of elements stored in the splay_set.
Complexity: Linear to elements contained in *this if, constanttime size option is enabled. Constanttime otherwise.
Throws: Nothing.

void swap(splay_set & other) ;
Effects: Swaps the contents of two splay_sets.
Complexity: Constant.
Throws: If the swap() call for the comparison functor found using ADL throws. Strong guarantee.

template<typename Cloner, typename Disposer>
void clone_from(const splay_set & src, Cloner cloner, Disposer disposer) ;
Requires: Disposer::operator()(pointer) shouldn't throw.
Effects: Erases all the elements from *this calling Disposer::operator()(pointer), clones all the elements from src calling Cloner::operator()(const_reference ) and inserts them on *this.
If cloner throws, all cloned elements are unlinked and disposed calling Disposer::operator()(pointer).
Complexity: Linear to erased plus inserted elements.
Throws: If cloner throws.

std::pair< iterator, bool > insert(reference value) ;
Requires: value must be an lvalue
Effects: Tries to inserts value into the splay_set.
Returns: If the value is not already present inserts it and returns a pair containing the iterator to the new value and true. If there is an equivalent value returns a pair containing an iterator to the already present value and false.
Complexity: Amortized logarithmic.
Throws: If the internal value_compare ordering function throws. Strong guarantee.
Note: Does not affect the validity of iterators and references. No copyconstructors are called.

iterator insert(const_iterator hint, reference value) ;
Requires: value must be an lvalue
Effects: Tries to to insert x into the splay_set, using "hint" as a hint to where it will be inserted.
Returns: An iterator that points to the position where the new element was inserted into the splay_set.
Complexity: Amortized logarithmic in general, but it's amortized constant time if t is inserted immediately before hint.
Throws: If the internal value_compare ordering function throws. Strong guarantee.
Note: Does not affect the validity of iterators and references. No copyconstructors are called.

template<typename KeyType, typename KeyValueCompare>
std::pair< iterator, bool >
insert_check(const KeyType & key, KeyValueCompare key_value_comp,
insert_commit_data & commit_data) ;
Requires: key_value_comp must be a comparison function that induces the same strict weak ordering as value_compare. The difference is that key_value_comp compares an arbitrary key with the contained values.
Effects: Checks if a value can be inserted in the splay_set, using a user provided key instead of the value itself.
Returns: If there is an equivalent value returns a pair containing an iterator to the already present value and false. If the value can be inserted returns true in the returned pair boolean and fills "commit_data" that is meant to be used with the "insert_commit" function.
Complexity: Amortized logarithmic.
Throws: If the key_value_comp ordering function throws. Strong guarantee.
Notes: This function is used to improve performance when constructing a value_type is expensive: if there is an equivalent value the constructed object must be discarded. Many times, the part of the node that is used to impose the order is much cheaper to construct than the value_type and this function offers the possibility to use that part to check if the insertion will be successful.
If the check is successful, the user can construct the value_type and use "insert_commit" to insert the object in constanttime. This gives a total logarithmic complexity to the insertion: check(O(log(N)) + commit(O(1)).
"commit_data" remains valid for a subsequent "insert_commit" only if no more objects are inserted or erased from the splay_set.

template<typename KeyType, typename KeyValueCompare>
std::pair< iterator, bool >
insert_check(const_iterator hint, const KeyType & key,
KeyValueCompare key_value_comp,
insert_commit_data & commit_data) ;
Requires: key_value_comp must be a comparison function that induces the same strict weak ordering as value_compare. The difference is that key_value_comp compares an arbitrary key with the contained values.
Effects: Checks if a value can be inserted in the splay_set, using a user provided key instead of the value itself, using "hint" as a hint to where it will be inserted.
Returns: If there is an equivalent value returns a pair containing an iterator to the already present value and false. If the value can be inserted returns true in the returned pair boolean and fills "commit_data" that is meant to be used with the "insert_commit" function.
Complexity: Amortized logarithmic in general, but it's amortized constant time if t is inserted immediately before hint.
Throws: If the key_value_comp ordering function throws. Strong guarantee.
Notes: This function is used to improve performance when constructing a value_type is expensive: if there is an equivalent value the constructed object must be discarded. Many times, the part of the constructing that is used to impose the order is much cheaper to construct than the value_type and this function offers the possibility to use that key to check if the insertion will be successful.
If the check is successful, the user can construct the value_type and use "insert_commit" to insert the object in constanttime. This can give a total constanttime complexity to the insertion: check(O(1)) + commit(O(1)).
"commit_data" remains valid for a subsequent "insert_commit" only if no more objects are inserted or erased from the splay_set.

iterator insert_commit(reference value,
const insert_commit_data & commit_data) ;
Requires: value must be an lvalue of type value_type. commit_data must have been obtained from a previous call to "insert_check". No objects should have been inserted or erased from the splay_set between the "insert_check" that filled "commit_data" and the call to "insert_commit".
Effects: Inserts the value in the splay_set using the information obtained from the "commit_data" that a previous "insert_check" filled.
Returns: An iterator to the newly inserted object.
Complexity: Constant time.
Throws: Nothing.
Notes: This function has only sense if a "insert_check" has been previously executed to fill "commit_data". No value should be inserted or erased between the "insert_check" and "insert_commit" calls.

template<typename Iterator> void insert(Iterator b, Iterator e) ;
Requires: Dereferencing iterator must yield an lvalue of type value_type.
Effects: Inserts a range into the splay_set.
Complexity: Insert range is amortized O(N * log(N)), where N is the size of the range. However, it is linear in N if the range is already sorted by value_comp().
Throws: If the internal value_compare ordering function throws. Basic guarantee.
Note: Does not affect the validity of iterators and references. No copyconstructors are called.

iterator erase(iterator i) ;
Effects: Erases the element pointed to by pos.
Complexity: Average complexity is constant time.
Returns: An iterator to the element after the erased element.
Throws: Nothing.
Note: Invalidates the iterators (but not the references) to the erased elements. No destructors are called.

iterator erase(iterator b, iterator e) ;
Effects: Erases the range pointed to by b end e.
Complexity: Average complexity for erase range is amortized O(log(size() + N)), where N is the number of elements in the range.
Returns: An iterator to the element after the erased elements.
Throws: Nothing.
Note: Invalidates the iterators (but not the references) to the erased elements. No destructors are called.

size_type erase(const_reference value) ;
Effects: Erases all the elements with the given value.
Returns: The number of erased elements.
Complexity: Amortized O(log(size()) + this>count(value)).
Throws: If the internal value_compare ordering function throws. Basic guarantee.
Note: Invalidates the iterators (but not the references) to the erased elements. No destructors are called.

template<typename KeyType, typename KeyValueCompare>
size_type erase(const KeyType & key, KeyValueCompare comp) ;
Effects: Erases all the elements that compare equal with the given key and the given comparison functor.
Returns: The number of erased elements.
Complexity: Amortized O(log(size() + this>count(key, comp)).
Throws: If the comp ordering function throws. Basic guarantee.
Note: Invalidates the iterators (but not the references) to the erased elements. No destructors are called.

template<typename Disposer>
iterator erase_and_dispose(iterator i, Disposer disposer) ;
Requires: Disposer::operator()(pointer) shouldn't throw.
Effects: Erases the element pointed to by pos. Disposer::operator()(pointer) is called for the removed element.
Complexity: Average complexity for erase element is constant time.
Returns: An iterator to the element after the erased element.
Throws: Nothing.
Note: Invalidates the iterators to the erased elements.

template<typename Disposer>
iterator erase_and_dispose(iterator b, iterator e, Disposer disposer) ;
Requires: Disposer::operator()(pointer) shouldn't throw.
Effects: Erases the range pointed to by b end e. Disposer::operator()(pointer) is called for the removed elements.
Complexity: Average complexity for erase range is at most O(log(size() + N)), where N is the number of elements in the range.
Returns: An iterator to the element after the erased elements.
Throws: Nothing.
Note: Invalidates the iterators to the erased elements.

template<typename Disposer>
size_type erase_and_dispose(const_reference value, Disposer disposer) ;
Requires: Disposer::operator()(pointer) shouldn't throw.
Effects: Erases all the elements with the given value. Disposer::operator()(pointer) is called for the removed elements.
Throws: If the internal value_compare ordering function throws.
Complexity: Amortized O(log(size() + this>count(value)). Basic guarantee.
Throws: Nothing.
Note: Invalidates the iterators (but not the references) to the erased elements. No destructors are called.

template<typename KeyType, typename KeyValueCompare, typename Disposer>
size_type erase_and_dispose(const KeyType & key, KeyValueCompare comp,
Disposer disposer) ;
Requires: Disposer::operator()(pointer) shouldn't throw.
Effects: Erases all the elements with the given key. according to the comparison functor "comp". Disposer::operator()(pointer) is called for the removed elements.
Returns: The number of erased elements.
Complexity: Amortized O(log(size() + this>count(key, comp)).
Throws: If comp ordering function throws. Basic guarantee.
Note: Invalidates the iterators to the erased elements.

void clear() ;
Effects: Erases all the elements of the container.
Complexity: Linear to the number of elements on the container. if it's a safemode or autounlink value_type. Constant time otherwise.
Throws: Nothing.
Note: Invalidates the iterators (but not the references) to the erased elements. No destructors are called.

template<typename Disposer> void clear_and_dispose(Disposer disposer) ;
Requires: Disposer::operator()(pointer) shouldn't throw.
Effects: Erases all the elements of the container.
Complexity: Linear to the number of elements on the container. Disposer::operator()(pointer) is called for the removed elements.
Throws: Nothing.
Note: Invalidates the iterators (but not the references) to the erased elements. No destructors are called.

size_type count(const_reference value) ;
Effects: Returns the number of contained elements with the given key
Complexity: Amortized logarithmic to the number of elements contained plus lineal to number of objects with the given key.
Throws: If the internal value_compare ordering function throws.

template<typename KeyType, typename KeyValueCompare>
size_type count(const KeyType & key, KeyValueCompare comp) ;
Effects: Returns the number of contained elements with the same key compared with the given comparison functor.
Complexity: Amortized logarithmic to the number of elements contained plus lineal to number of objects with the given key.
Throws: If comp ordering function throws.

size_type count_dont_splay(const_reference value) const;
Effects: Returns the number of contained elements with the given key
Complexity: Logarithmic to the number of elements contained plus lineal to number of objects with the given key.
Throws: If the internal value_compare ordering function throws.

template<typename KeyType, typename KeyValueCompare>
size_type count_dont_splay(const KeyType & key, KeyValueCompare comp) const;
Effects: Returns the number of contained elements with the same key compared with the given comparison functor.
Complexity: Logarithmic to the number of elements contained plus lineal to number of objects with the given key.
Throws: If comp ordering function throws.

iterator lower_bound(const_reference value) ;
Effects: Returns an iterator to the first element whose key is not less than k or end() if that element does not exist.
Complexity: Amortized logarithmic.
Throws: If the internal value_compare ordering function throws.

template<typename KeyType, typename KeyValueCompare>
iterator lower_bound(const KeyType & key, KeyValueCompare comp) ;
Requires: comp must imply the same element order as value_compare. Usually key is the part of the value_type that is used in the ordering functor.
Effects: Returns an iterator to the first element whose key according to the comparison functor is not less than k or end() if that element does not exist.
Complexity: Amortized logarithmic.
Throws: If comp ordering function throws.
Note: This function is used when constructing a value_type is expensive and the value_type can be compared with a cheaper key type. Usually this key is part of the value_type.

const_iterator lower_bound_dont_splay(const_reference value) const;
Effects: Returns a const iterator to the first element whose key is not less than k or end() if that element does not exist.
Complexity: Logarithmic.
Throws: If the internal value_compare ordering function throws.

template<typename KeyType, typename KeyValueCompare>
const_iterator
lower_bound_dont_splay(const KeyType & key, KeyValueCompare comp) const;
Requires: comp must imply the same element order as value_compare. Usually key is the part of the value_type that is used in the ordering functor.
Effects: Returns a const_iterator to the first element whose key according to the comparison functor is not less than k or end() if that element does not exist.
Complexity: Logarithmic.
Throws: If comp ordering function throws.
Note: This function is used when constructing a value_type is expensive and the value_type can be compared with a cheaper key type. Usually this key is part of the value_type.

iterator upper_bound(const_reference value) ;
Effects: Returns an iterator to the first element whose key is greater than k or end() if that element does not exist.
Complexity: Amortized logarithmic.
Throws: If the internal value_compare ordering function throws.

template<typename KeyType, typename KeyValueCompare>
iterator upper_bound(const KeyType & key, KeyValueCompare comp) ;
Requires: comp must imply the same element order as value_compare. Usually key is the part of the value_type that is used in the ordering functor.
Effects: Returns an iterator to the first element whose key according to the comparison functor is greater than key or end() if that element does not exist.
Complexity: Amortized logarithmic.
Throws: If comp ordering function throws.
Note: This function is used when constructing a value_type is expensive and the value_type can be compared with a cheaper key type. Usually this key is part of the value_type.

const_iterator upper_bound_dont_splay(const_reference value) const;
Effects: Returns an iterator to the first element whose key is greater than k or end() if that element does not exist.
Complexity: Logarithmic.
Throws: If the internal value_compare ordering function throws.

template<typename KeyType, typename KeyValueCompare>
const_iterator
upper_bound_dont_splay(const KeyType & key, KeyValueCompare comp) const;
Requires: comp must imply the same element order as value_compare. Usually key is the part of the value_type that is used in the ordering functor.
Effects: Returns a const_iterator to the first element whose key according to the comparison functor is greater than key or end() if that element does not exist.
Complexity: Logarithmic.
Throws: If comp ordering function throws.
Note: This function is used when constructing a value_type is expensive and the value_type can be compared with a cheaper key type. Usually this key is part of the value_type.

iterator find(const_reference value) ;
Effects: Finds an iterator to the first element whose value is "value" or end() if that element does not exist.
Complexity: Amortized logarithmic.
Throws: If the internal value_compare ordering function throws.

template<typename KeyType, typename KeyValueCompare>
iterator find(const KeyType & key, KeyValueCompare comp) ;
Requires: comp must imply the same element order as value_compare. Usually key is the part of the value_type that is used in the ordering functor.
Effects: Finds an iterator to the first element whose key is "key" according to the comparison functor or end() if that element does not exist.
Complexity: Amortized logarithmic.
Throws: If comp ordering function throws.
Note: This function is used when constructing a value_type is expensive and the value_type can be compared with a cheaper key type. Usually this key is part of the value_type.

const_iterator find_dont_splay(const_reference value) const;
Effects: Finds a const_iterator to the first element whose value is "value" or end() if that element does not exist.
Complexity: Logarithmic.
Throws: If the internal value_compare ordering function throws.

template<typename KeyType, typename KeyValueCompare>
const_iterator
find_dont_splay(const KeyType & key, KeyValueCompare comp) const;
Requires: comp must imply the same element order as value_compare. Usually key is the part of the value_type that is used in the ordering functor.
Effects: Finds a const_iterator to the first element whose key is "key" according to the comparison functor or end() if that element does not exist.
Complexity: Logarithmic.
Throws: If comp ordering function throws.
Note: This function is used when constructing a value_type is expensive and the value_type can be compared with a cheaper key type. Usually this key is part of the value_type.

std::pair< iterator, iterator > equal_range(const_reference value) ;
Effects: Finds a range containing all elements whose key is k or an empty range that indicates the position where those elements would be if they there is no elements with key k.
Complexity: Amortized logarithmic.
Throws: If the internal value_compare ordering function throws.

template<typename KeyType, typename KeyValueCompare>
std::pair< iterator, iterator >
equal_range(const KeyType & key, KeyValueCompare comp) ;
Requires: comp must imply the same element order as value_compare. Usually key is the part of the value_type that is used in the ordering functor.
Effects: Finds a range containing all elements whose key is k according to the comparison functor or an empty range that indicates the position where those elements would be if they there is no elements with key k.
Complexity: Amortized logarithmic.
Throws: If comp ordering function throws.
Note: This function is used when constructing a value_type is expensive and the value_type can be compared with a cheaper key type. Usually this key is part of the value_type.

std::pair< const_iterator, const_iterator >
equal_range_dont_splay(const_reference value) const;
Effects: Finds a range containing all elements whose key is k or an empty range that indicates the position where those elements would be if they there is no elements with key k.
Complexity: Logarithmic.
Throws: If the internal value_compare ordering function throws.

template<typename KeyType, typename KeyValueCompare>
std::pair< const_iterator, const_iterator >
equal_range_dont_splay(const KeyType & key, KeyValueCompare comp) const;
Requires: comp must imply the same element order as value_compare. Usually key is the part of the value_type that is used in the ordering functor.
Effects: Finds a range containing all elements whose key is k according to the comparison functor or an empty range that indicates the position where those elements would be if they there is no elements with key k.
Complexity: Logarithmic.
Throws: If comp ordering function throws.
Note: This function is used when constructing a value_type is expensive and the value_type can be compared with a cheaper key type. Usually this key is part of the value_type.

iterator iterator_to(reference value) ;
Requires: value must be an lvalue and shall be in a splay_set of appropriate type. Otherwise the behavior is undefined.
Effects: Returns: a valid iterator i belonging to the splay_set that points to the value
Complexity: Constant.
Throws: Nothing.

const_iterator iterator_to(const_reference value) const;
Requires: value must be an lvalue and shall be in a splay_set of appropriate type. Otherwise the behavior is undefined.
Effects: Returns: a valid const_iterator i belonging to the splay_set that points to the value
Complexity: Constant.
Throws: Nothing.

pointer unlink_leftmost_without_rebalance() ;
Effects: Unlinks the leftmost node from the tree.
Complexity: Average complexity is constant time.
Throws: Nothing.
Notes: This function breaks the tree and the tree can only be used for more unlink_leftmost_without_rebalance calls. This function is normally used to achieve a step by step controlled destruction of the tree.

void replace_node(iterator replace_this, reference with_this) ;
Requires: replace_this must be a valid iterator of *this and with_this must not be inserted in any tree.
Effects: Replaces replace_this in its position in the tree with with_this. The tree does not need to be rebalanced.
Complexity: Constant.
Throws: Nothing.
Note: This function will break container ordering invariants if with_this is not equivalent to *replace_this according to the ordering rules. This function is faster than erasing and inserting the node, since no rebalancing or comparison is needed.

void splay_up(iterator i) ;
Requires: i must be a valid iterator of *this.
Effects: Rearranges the splay set so that the element pointed by i is placed as the root of the tree, improving future searches of this value.
Complexity: Amortized logarithmic.
Throws: Nothing.

template<typename KeyType, typename KeyNodePtrCompare>
iterator splay_down(const KeyType & key, KeyNodePtrCompare comp) ;
Effects: Rearranges the splay set so that if *this stores an element with a key equivalent to value the element is placed as the root of the tree. If the element is not present returns the last node compared with the key. If the tree is empty, end() is returned.
Complexity: Amortized logarithmic.
Returns: An iterator to the new root of the tree, end() if the tree is empty.
Throws: If the comparison functor throws.

iterator splay_down(const value_type & value) ;
Effects: Rearranges the splay set so that if *this stores an element with a key equivalent to value the element is placed as the root of the tree.
Complexity: Amortized logarithmic.
Returns: An iterator to the new root of the tree, end() if the tree is empty.
Throws: If the predicate throws.

void rebalance() ;
Effects: Rebalances the tree.
Throws: Nothing.
Complexity: Linear.

iterator rebalance_subtree(iterator root) ;
Requires: old_root is a node of a tree.
Effects: Rebalances the subtree rooted at old_root.
Returns: The new root of the subtree.
Throws: Nothing.
Complexity: Linear to the elements in the subtree.