public class PAutomataTailCompressor extends nl.tue.astar.impl.AbstractCompressor<PAutomataTail> implements nl.tue.astar.impl.memefficient.TailInflater<PAutomataTail>
Modifier and Type | Field and Description |
---|---|
protected short |
activities |
protected int |
automata |
protected int |
bytesActivities |
protected int |
bytesAutomata |
protected int |
bytesPlaces |
protected short |
places |
protected int |
variables |
Constructor and Description |
---|
PAutomataTailCompressor(int columns,
short places,
short activities,
short automata) |
Modifier and Type | Method and Description |
---|---|
void |
deflate(PAutomataTail tail,
java.io.OutputStream stream)
deflate the given object into the provided stream.
|
int |
getMaxByteCount()
the method is called before each call to deflate.
|
PAutomataTail |
inflate(java.io.InputStream stream)
read an object from a stream.
|
<H extends nl.tue.astar.Head> |
inflateEstimate(nl.tue.astar.impl.memefficient.StorageAwareDelegate<H,PAutomataTail> delegate,
H head,
java.io.InputStream stream) |
void |
skipHead(java.io.InputStream stream) |
checkIntOnByteArray, checkShortOnByteArray, deflate, deflate, deflateWithCheck, equalsDeflating, getBitsPerVar, getBitsPerVar, inflateContent, inflateContentToArray, makeBitMask, makeBitMask, makeShortListBitMask, readBooleanFromStream, readDoubleFromStream, readIntFromStream, readInto, readInto, readLongFromStream, readMask, readShortFromStream, writeBooleanToByteArray, writeDoubleToByteArray, writeIntToByteArray, writeLongToByteArray, writeShortToByteArray, writeTo, writeTo
protected final short places
protected final short activities
protected final int automata
protected final int bytesAutomata
protected final int bytesPlaces
protected final int bytesActivities
protected int variables
public PAutomataTailCompressor(int columns, short places, short activities, short automata)
public void deflate(PAutomataTail tail, java.io.OutputStream stream) throws java.io.IOException
nl.tue.storage.Deflater
deflate
in interface nl.tue.storage.Deflater<PAutomataTail>
java.io.IOException
public int getMaxByteCount()
nl.tue.storage.Deflater
getMaxByteCount
in interface nl.tue.storage.Deflater<PAutomataTail>
public <H extends nl.tue.astar.Head> int inflateEstimate(nl.tue.astar.impl.memefficient.StorageAwareDelegate<H,PAutomataTail> delegate, H head, java.io.InputStream stream) throws java.io.IOException
inflateEstimate
in interface nl.tue.astar.impl.memefficient.TailInflater<PAutomataTail>
java.io.IOException
public void skipHead(java.io.InputStream stream) throws java.io.IOException
java.io.IOException
public PAutomataTail inflate(java.io.InputStream stream) throws java.io.IOException
nl.tue.storage.Inflater
inflate
in interface nl.tue.storage.Inflater<PAutomataTail>
java.io.IOException