Class LocalDimensionDictionary


  • public class LocalDimensionDictionary
    extends Object
    • Constructor Detail

      • LocalDimensionDictionary

        public LocalDimensionDictionary()
    • Method Detail

      • getGlobalIdToLocalId

        public it.unimi.dsi.fastutil.ints.Int2IntOpenHashMap getGlobalIdToLocalId()
      • add

        public int add​(int originalValue)
      • size

        public int size()