org.processmining.plugins.astar.petrinet.impl

Class PHeadUniqueILPCompressor

java.lang.Object

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

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

org.processmining.plugins.astar.petrinet.impl.PHeadUniqueILPCompressor

All Implemented Interfaces:

nl.tue.astar.impl.memefficient.HeadDeflater<PHead>, nl.tue.storage.Deflater<PHead>, nl.tue.storage.EqualOperation<nl.tue.astar.impl.State<PHead,PILPTail>>, nl.tue.storage.HashOperation<nl.tue.astar.impl.State<PHead,PILPTail>>, nl.tue.storage.Inflater<PHead>

public class PHeadUniqueILPCompressor
extends PHeadCompressor<PILPTail>

Author:

aadrians Mar 11, 2012

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, places

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

POWER

Constructor Summary

Constructors

Constructor and Description
PHeadUniqueILPCompressor(short places, short activities)

Method Summary

Methods

Modifier and Type	Method and Description
PHead	inflate(java.io.InputStream stream) read an object from a stream.

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

deflate, equals, getHashCode, getHashCode, getMaxByteCount, inflateParikhVector, skip, 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

PHeadUniqueILPCompressor

public PHeadUniqueILPCompressor(short places,
                        short activities)

Method Detail

inflate

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

Overrides:

inflate in class PHeadCompressor<PILPTail>

Returns:

Throws:

java.io.IOException