Project OpenGeode
class UuidToIndex
Functions
nb_mappings
cpp
public index_t nb_mappings()
public index_t nb_mappings()
index
cpp
public optional index(const uuid & id)
public optional index(const uuid & id)
erase
cpp
public void erase(const uuid & id)
public void erase(const uuid & id)
erase
cpp
public void erase(index_t index)
public void erase(index_t index)
set_new_mapping
cpp
public void set_new_mapping(const uuid & id, const index_t index)
public void set_new_mapping(const uuid & id, const index_t index)
update
cpp
public void update(Span old2new)
public void update(Span old2new)