| add(Space *new_space, unsigned new_number) | Space_index | [inline, static] |
| aux_del(Space_index) | Space_index | [inline, static] |
| chief() | Space_index | [inline] |
| del(Space_index number, Space_index chief) | Space_index | [inline, static] |
| lookup() | Space_index | [inline] |
| Max_space_number enum value | Space_index | |
| operator unsigned() | Space_index | [inline] |
| set_chief(Space_index old_chief, Space_index new_chief) | Space_index | [inline] |
| space_id | Space_index | [private] |
| Space_index(unsigned number) | Space_index | [inline, explicit] |
| spaces | Space_index | [private, static] |
1.4.2