public class StateSpace
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
StateSpace.Edge |
static class |
StateSpace.StateCompressor |
Constructor and Description |
---|
StateSpace(int alignment) |
Modifier and Type | Method and Description |
---|---|
void |
addEdge(int from,
int to,
int label) |
nl.tue.storage.impl.CompressedStoreHashSetImpl.Result<byte[]> |
addNode(byte[] state) |
double |
getBytesPerEdge() |
double |
getBytesPerState() |
java.util.Iterator<StateSpace.Edge> |
getEdgeIterator() |
java.util.Iterator<byte[]> |
getNodeIterator() |
byte[] |
getState(int index) |
int |
indexOf(byte[] state) |
long |
memory() |
int |
numEdges() |
int |
size() |
public int size()
public byte[] getState(int index)
public int indexOf(byte[] state)
public void addEdge(int from, int to, int label)
public nl.tue.storage.impl.CompressedStoreHashSetImpl.Result<byte[]> addNode(byte[] state)
public java.util.Iterator<byte[]> getNodeIterator()
public java.util.Iterator<StateSpace.Edge> getEdgeIterator()
public int numEdges()
public long memory()
public double getBytesPerState()
public double getBytesPerEdge()