Class PositionIndexer


  • public final class PositionIndexer
    extends java.lang.Object
    Encapsulates the mapping positions to integer indizes, which allow to address entries within an array.
    • Method Detail

      • indexFor

        public int indexFor​(Position position)
      • allPositions

        public java.util.Set<Position> allPositions()
      • arraySize

        public int arraySize()
      • dimensions

        public java.util.Set<java.lang.Class<?>> dimensions()