public class LocalDimensionDictionary extends Object
Constructor and Description |
---|
LocalDimensionDictionary() |
Modifier and Type | Method and Description |
---|---|
int |
add(int originalValue) |
it.unimi.dsi.fastutil.ints.Int2IntOpenHashMap |
getGlobalIdToLocalId() |
int |
size() |
Copyright © 2011–2023 The Apache Software Foundation. All rights reserved.