org.processmining.plugins.astar.petrinet.impl

Class PILPTailCompressor

java.lang.Object

nl.tue.astar.impl.AbstractCompressor<PILPTail>

org.processmining.plugins.astar.petrinet.impl.PILPTailCompressor

All Implemented Interfaces:

nl.tue.astar.impl.memefficient.TailInflater<PILPTail>, nl.tue.storage.Deflater<PILPTail>, nl.tue.storage.Inflater<PILPTail>

public class PILPTailCompressor
extends nl.tue.astar.impl.AbstractCompressor<PILPTail>
implements nl.tue.astar.impl.memefficient.TailInflater<PILPTail>

Field Summary

Fields inherited from class nl.tue.astar.impl.AbstractCompressor

POWER

Constructor Summary

Constructors

Constructor and Description
PILPTailCompressor(int columns, short places, short activities)

Method Summary

Methods

Modifier and Type	Method and Description
void	deflate(PILPTail tail, java.io.OutputStream stream) deflate the given object into the provided stream.
int	getMaxByteCount() the method is called before each call to deflate.
PILPTail	inflate(java.io.InputStream stream) read an object from a stream.
<H extends nl.tue.astar.Head> int	inflateEstimate(nl.tue.astar.impl.memefficient.StorageAwareDelegate<H,PILPTail> delegate, H head, java.io.InputStream stream)
void	skipHead(java.io.InputStream stream)

Methods inherited from class nl.tue.astar.impl.AbstractCompressor

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PILPTailCompressor

public PILPTailCompressor(int columns,
                  short places,
                  short activities)

Method Detail

deflate

public void deflate(PILPTail tail,
           java.io.OutputStream stream)
             throws java.io.IOException

Description copied from interface: nl.tue.storage.Deflater

deflate the given object into the provided stream. This method should NOT close the stream.

Specified by:

deflate in interface nl.tue.storage.Deflater<PILPTail>

Throws:

java.io.IOException

inflate

public PILPTail inflate(java.io.InputStream stream)
                 throws java.io.IOException

Description copied from interface: nl.tue.storage.Inflater

read an object from a stream. The inflater should know when to stop reading and should NOT close the stream;

Specified by:

inflate in interface nl.tue.storage.Inflater<PILPTail>

Returns:

Throws:

java.io.IOException

skipHead

public void skipHead(java.io.InputStream stream)
              throws java.io.IOException

Throws:

java.io.IOException

getMaxByteCount

public int getMaxByteCount()

Description copied from interface: nl.tue.storage.Deflater

the method is called before each call to deflate. The call to deflate should not write more than the number of bytes returned by this method! It may write less. If a negative value is returned, then a resizeable buffer is used

Specified by:

getMaxByteCount in interface nl.tue.storage.Deflater<PILPTail>

Returns:

inflateEstimate

public <H extends nl.tue.astar.Head> int inflateEstimate(nl.tue.astar.impl.memefficient.StorageAwareDelegate<H,PILPTail> delegate,
                                                H head,
                                                java.io.InputStream stream)
                    throws java.io.IOException

Specified by:

inflateEstimate in interface nl.tue.astar.impl.memefficient.TailInflater<PILPTail>

Throws:

java.io.IOException