| Value type | X::value_type | Type of element stored in Container. |
| Const reference type | X::const_reference | A type that behaves as const reference to the \ref concept_container_2d 's value type. |
| Const iterator type | X::const_iterator | A read-only iterator that can be used to iterate over the entire \ref concept_container_2d. Typically the iterator iterates along a row, and when the end of one row is reached it jumps to the beginning of the next row. |
| Const column iterator type | X::const_column_iterator | A read-only iterator that can be used to examine the elements in one column of the \ref concept_container_2d. |
| Const row iterator type | X::const_row_iterator | A read-only iterator that can be used to examine the elements in one row of the \ref concept_container_2d. |
| Name | Expression | Precondition | Return type | Postcondition |
|---|---|---|---|---|
| Beginning of range | a.begin() | const_iterator | ||
| Beginning of column | a.begin_column(size_t column) | 0 <= column < a.columns() | const_column_iterator | |
| Beginning of row | a.begin_row(size_t row) | 0 <= row < a.rows() | const_row_iterator | |
| End of range | a.end() | const_iterator | ||
| End of column | a.end_column(size_t column) | 0 <= column < a.columns() | const_column_iterator | |
| End of row | a.end_row(size_t row) | 0 <= row < a.rows() | const_row_iterator | |
| Columns | a.columns() | size_t | ||
| Rows | a.rows() | size_t | ||
| Element Access | a(size_t row, size_t column) | 0 <= row < a.rows() and 0 <= column < a.columns() | const_reference |
| Reference type | X::reference | A type that behaves as reference to the \ref concept_mutable_container_2d 's value type. |
| Iterator type | X::iterator | A mutable iterator similar to Const iterator type, which can be used to iterate over the \ref concept_mutable_container_2d (and modify the elements). Typically the iterator iterates along a row, and when the end of one row is reached it jumps to the beginning of the next row. |
| Column iterator type | X::column_iterator | A mutable iterator that can be used to modify the elements in one column of the \ref concept_mutable_container_2d. |
| Row iterator type | X::row_iterator | A mutable iterator that can be used to modify the elements in one row of the \ref concept_mutable_container_2d. |
| Name | Expression | Precondition | Return type | Postcondition |
|---|---|---|---|---|
| Beginning of range | a.begin() | iterator | iterator is derefenceable, unless a is empty | |
| Beginning of column | a.begin_column(size_t column) | 0 <= column < a.columns() | column_iterator | column_iterator is derefenceable, unless a is empty |
| Beginning of row | a.begin_row(size_t row) | 0 <= row < a.rows() | row_iterator | row_iterator is derefenceable, unless a is empty |
| End of range | a.end() | iterator | ||
| End of column | a.end_column(size_t column) | column<a.columns() | column_iterator | |
| End of row | a.end_row(size_t row) | row<a.rows() | row_iterator | |
| Element Access | a(size_t row, size_t column) | 0 <= row < a.rows() and 0 <= column < a.columns() | reference |