public final class PositionIndexer
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
PositionIndexer.Builder
The builder for a position indexer.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Position> |
allPositions() |
int |
arraySize() |
static PositionIndexer.Builder |
builder() |
java.util.Set<java.lang.Class<?>> |
dimensions() |
int |
indexFor(Position position) |
public int indexFor(Position position)
public java.util.Set<Position> allPositions()
public static PositionIndexer.Builder builder()
public int arraySize()
public java.util.Set<java.lang.Class<?>> dimensions()