public class PHeadCompressor<T extends nl.tue.astar.Tail> extends nl.tue.astar.impl.AbstractCompressor<PHead> implements nl.tue.storage.EqualOperation<nl.tue.astar.impl.State<PHead,T>>, nl.tue.storage.HashOperation<nl.tue.astar.impl.State<PHead,T>>, nl.tue.astar.impl.memefficient.HeadDeflater<PHead>
Modifier and Type | Field and Description |
---|---|
protected short |
activities |
protected int |
bytesActivities |
protected int |
bytesPlaces |
protected short |
places |
Constructor and Description |
---|
PHeadCompressor(short places,
short activities)
Construct the compressor with a fixed length for all vectors.
|
Modifier and Type | Method and Description |
---|---|
void |
deflate(PHead object,
java.io.OutputStream stream)
deflate the given object into the provided stream.
|
boolean |
equals(nl.tue.astar.impl.State<PHead,T> object,
nl.tue.storage.CompressedStore<nl.tue.astar.impl.State<PHead,T>> store,
long l)
Check for equality between a given object and a location in the store.
|
int |
getHashCode(nl.tue.storage.CompressedStore<nl.tue.astar.impl.State<PHead,T>> store,
long l)
Returns the hashCode of the object stored in the store at index l.
|
int |
getHashCode(nl.tue.astar.impl.State<PHead,T> object)
Returns the hashCode of the given object.
|
int |
getMaxByteCount()
the method is called before each call to deflate.
|
PHead |
inflate(java.io.InputStream stream)
read an object from a stream.
|
nl.tue.astar.util.ShortShortMultiset |
inflateParikhVector(java.io.InputStream stream) |
void |
skip(PHead head,
nl.tue.storage.impl.SkippableOutputStream out)
Skips as many bytes in the stream as are required to store the given head
|
void |
skipMarking(java.io.InputStream stream) |
void |
skipParikhVector(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 activities
protected final short places
protected final int bytesPlaces
protected final int bytesActivities
public PHeadCompressor(short places, short activities)
length
- public PHead inflate(java.io.InputStream stream) throws java.io.IOException
nl.tue.storage.Inflater
inflate
in interface nl.tue.storage.Inflater<PHead>
java.io.IOException
public void deflate(PHead object, java.io.OutputStream stream) throws java.io.IOException
nl.tue.storage.Deflater
deflate
in interface nl.tue.storage.Deflater<PHead>
java.io.IOException
public boolean equals(nl.tue.astar.impl.State<PHead,T> object, nl.tue.storage.CompressedStore<nl.tue.astar.impl.State<PHead,T>> store, long l) throws nl.tue.storage.StorageException, java.io.IOException
nl.tue.storage.EqualOperation
public int getHashCode(nl.tue.astar.impl.State<PHead,T> object)
nl.tue.storage.HashOperation
public int getHashCode(nl.tue.storage.CompressedStore<nl.tue.astar.impl.State<PHead,T>> store, long l) throws nl.tue.storage.StorageException
nl.tue.storage.HashOperation
public void skipMarking(java.io.InputStream stream) throws java.io.IOException
java.io.IOException
public void skipParikhVector(java.io.InputStream stream) throws java.io.IOException
java.io.IOException
public nl.tue.astar.util.ShortShortMultiset inflateParikhVector(java.io.InputStream stream) throws java.io.IOException
java.io.IOException
public int getMaxByteCount()
nl.tue.storage.Deflater
getMaxByteCount
in interface nl.tue.storage.Deflater<PHead>
public void skip(PHead head, nl.tue.storage.impl.SkippableOutputStream out) throws java.io.IOException
nl.tue.astar.impl.memefficient.HeadDeflater
skip
in interface nl.tue.astar.impl.memefficient.HeadDeflater<PHead>
java.io.IOException