|
|
|
Finds the element. Is provided for having a common interface with std::set and std::map.
|
|
Inserts element x at the end of the std::vector. Is equivalent to push_back and provided to have common interface with std::map.
|
|
Constructor from a vector.
|
|
Constructor.
|