org.processmining.mixedparadigm.algorithms.replayer

Class PAutomataHeadCompressor<T extends nl.tue.astar.Tail>

java.lang.Object

nl.tue.astar.impl.AbstractCompressor<org.processmining.plugins.astar.petrinet.impl.PHead>

org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<T>

org.processmining.mixedparadigm.algorithms.replayer.PAutomataHeadCompressor<T>

All Implemented Interfaces:

nl.tue.astar.impl.memefficient.HeadDeflater<org.processmining.plugins.astar.petrinet.impl.PHead>, nl.tue.storage.Deflater<org.processmining.plugins.astar.petrinet.impl.PHead>, nl.tue.storage.EqualOperation<nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,T>>, nl.tue.storage.HashOperation<nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,T>>, nl.tue.storage.Inflater<org.processmining.plugins.astar.petrinet.impl.PHead>

public class PAutomataHeadCompressor<T extends nl.tue.astar.Tail>
extends org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<T>

Nested Class Summary

Nested classes/interfaces inherited from interface nl.tue.storage.EqualOperation

nl.tue.storage.EqualOperation.Default<K>

Nested classes/interfaces inherited from interface nl.tue.storage.HashOperation

nl.tue.storage.HashOperation.Default<K>

Field Summary

Fields inherited from class org.processmining.plugins.astar.petrinet.impl.PHeadCompressor

activities, bytesActivities, bytesPlaces, maxBytes, places

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

POWER

Constructor Summary

Constructors

Constructor and Description
PAutomataHeadCompressor(short places, short activities) Construct the compressor with a fixed length for all vectors.

Method Summary

Modifier and Type	Method and Description
void	deflate(org.processmining.plugins.astar.petrinet.impl.PHead object, java.io.OutputStream stream) deflate the given object into the provided stream.
protected boolean	equalsInflating(nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,T> vector, nl.tue.storage.CompressedStore<nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,T>> store, long l)
int	getMaxByteCount() the method is called before each call to deflate.
PAutomataHead	inflate(java.io.InputStream stream) read an object from a stream.
void	setAutomataCount(short automata)
void	skip(org.processmining.plugins.astar.petrinet.impl.PHead head, nl.tue.storage.impl.SkippableOutputStream out) Skips as many bytes in the stream as are required to store the given head

Methods inherited from class org.processmining.plugins.astar.petrinet.impl.PHeadCompressor

equals, getHashCode, getHashCode, inflateParikhVector, skipMarking, skipParikhVector

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

PAutomataHeadCompressor

public PAutomataHeadCompressor(short places,
                               short activities)

Construct the compressor with a fixed length for all vectors.

Parameters:

length -

Method Detail

setAutomataCount

public void setAutomataCount(short automata)

inflate

public PAutomataHead 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<org.processmining.plugins.astar.petrinet.impl.PHead>

Overrides:

inflate in class org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<T extends nl.tue.astar.Tail>

Returns:

Throws:

java.io.IOException

deflate

public void deflate(org.processmining.plugins.astar.petrinet.impl.PHead object,
                    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<org.processmining.plugins.astar.petrinet.impl.PHead>

Overrides:

deflate in class org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<T extends nl.tue.astar.Tail>

Throws:

java.io.IOException

equalsInflating

protected boolean equalsInflating(nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,T> vector,
                                  nl.tue.storage.CompressedStore<nl.tue.astar.impl.State<org.processmining.plugins.astar.petrinet.impl.PHead,T>> store,
                                  long l)
                           throws java.io.IOException

Overrides:

equalsInflating in class org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<T extends nl.tue.astar.Tail>

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<org.processmining.plugins.astar.petrinet.impl.PHead>

Overrides:

getMaxByteCount in class org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<T extends nl.tue.astar.Tail>

Returns:

skip

public void skip(org.processmining.plugins.astar.petrinet.impl.PHead head,
                 nl.tue.storage.impl.SkippableOutputStream out)
          throws java.io.IOException

Description copied from interface: nl.tue.astar.impl.memefficient.HeadDeflater

Skips as many bytes in the stream as are required to store the given head

Specified by:

skip in interface nl.tue.astar.impl.memefficient.HeadDeflater<org.processmining.plugins.astar.petrinet.impl.PHead>

Overrides:

skip in class org.processmining.plugins.astar.petrinet.impl.PHeadCompressor<T extends nl.tue.astar.Tail>

Throws:

java.io.IOException