org.processmining.mixedparadigm.algorithms.replayer

Class PAutomataTailCompressor

java.lang.Object

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

org.processmining.mixedparadigm.algorithms.replayer.PAutomataTailCompressor

All Implemented Interfaces:

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

public class PAutomataTailCompressor
extends nl.tue.astar.impl.AbstractCompressor<PAutomataTail>
implements nl.tue.astar.impl.memefficient.TailInflater<PAutomataTail>

Field Summary

Fields

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

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

POWER

Constructor Summary

Constructors

Constructor and Description
PAutomataTailCompressor(int columns, short places, short activities, short automata)

Method Summary

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> int	inflateEstimate(nl.tue.astar.impl.memefficient.StorageAwareDelegate<H,PAutomataTail> 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

Field Detail

places

protected final short places

activities

protected final short activities

automata

protected final int automata

bytesAutomata

protected final int bytesAutomata

bytesPlaces

protected final int bytesPlaces

bytesActivities

protected final int bytesActivities

variables

protected int variables

Constructor Detail

PAutomataTailCompressor

public PAutomataTailCompressor(int columns,
                               short places,
                               short activities,
                               short automata)

Method Detail

deflate

public void deflate(PAutomataTail 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<PAutomataTail>

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<PAutomataTail>

Returns:

inflateEstimate

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

Specified by:

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

Throws:

java.io.IOException

skipHead

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

Throws:

java.io.IOException

inflate

public PAutomataTail 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<PAutomataTail>

Returns:

Throws:

java.io.IOException