identifiers

Mapping between external and internal ids.

Classes

IdMap(to_internal)

Mapping between external and internal object ids.