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] |