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–2022 The Apache Software Foundation. All rights reserved.