| Name |
Expression |
Precondition |
Semantics |
Postcondition |
| Front |
a.front() [1] |
!a.empty() |
Equivalent to *(a.begin()). |
|
| Push front |
a.push_front(t) |
|
Equivalent to a.insert(a.begin(), t) a.size is incremented by 1. |
a.front() is a copy of t. |
| Pop front |
a.pop_front() |
!a.empty() |
Equivalent to a.erase(a.begin()) |
a.size() is decremented by 1. |
