org.processmining.plugins.astar.petrinet.impl

Class PNaiveTail

java.lang.Object

org.processmining.plugins.astar.petrinet.impl.PNaiveTail

All Implemented Interfaces:

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

public class PNaiveTail
extends java.lang.Object
implements nl.tue.astar.Tail, nl.tue.storage.Deflater<PNaiveTail>, nl.tue.astar.impl.memefficient.TailInflater<PNaiveTail>

Implementation of the tail that implements the estimate equal to the cost of all synchronous moves

Author:

aadrians Dec 22, 2011

Field Summary

Fields

Modifier and Type	Field and Description
static PNaiveTail	EMPTY

Method Summary

Methods

Modifier and Type	Method and Description
boolean	canComplete() returns true if and only if the replay can finish according to this tail, i.e.
void	deflate(PNaiveTail object, java.io.OutputStream stream) deflate the given object into the provided stream.
int	getEstimatedCosts(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d, nl.tue.astar.Head head) get an estimate of the remaining distance to the target state in the search.
int	getMaxByteCount() the method is called before each call to deflate.
nl.tue.astar.Tail	getNextTail(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d, nl.tue.astar.Head oldHead, int modelMove, int logMove, int activity) constructs the new tail based on the two operations from the old head.
<S> nl.tue.astar.Tail	getNextTailFromStorage(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d, nl.tue.storage.CompressedStore<S> store, long index, int modelMove, int logMove, int activity) constructs the new tail based on the two operations from the old state, which is stored in the given store at the given index.
PNaiveTail	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,PNaiveTail> delegate, H head, java.io.InputStream stream)

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final PNaiveTail EMPTY

Method Detail

getNextTail

public nl.tue.astar.Tail getNextTail(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
                            nl.tue.astar.Head oldHead,
                            int modelMove,
                            int logMove,
                            int activity)

Description copied from interface: nl.tue.astar.Tail

constructs the new tail based on the two operations from the old head. Preferably, the code to compute the new tail is kept as lightweight as possible.

Specified by:

getNextTail in interface nl.tue.astar.Tail

Returns:

getNextTailFromStorage

public <S> nl.tue.astar.Tail getNextTailFromStorage(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
                                           nl.tue.storage.CompressedStore<S> store,
                                           long index,
                                           int modelMove,
                                           int logMove,
                                           int activity)
                                         throws java.io.IOException

Description copied from interface: nl.tue.astar.Tail

constructs the new tail based on the two operations from the old state, which is stored in the given store at the given index. Preferably, the code to compute the new tail is kept as lightweight as possible.

Specified by:

getNextTailFromStorage in interface nl.tue.astar.Tail

Returns:

Throws:

java.io.IOException

getEstimatedCosts

public int getEstimatedCosts(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
                    nl.tue.astar.Head head)

Description copied from interface: nl.tue.astar.Tail

get an estimate of the remaining distance to the target state in the search.

Specified by:

getEstimatedCosts in interface nl.tue.astar.Tail

Returns:

canComplete

public boolean canComplete()

Description copied from interface: nl.tue.astar.Tail

returns true if and only if the replay can finish according to this tail, i.e. for the case

Specified by:

canComplete in interface nl.tue.astar.Tail

Returns:

deflate

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

Throws:

java.io.IOException

inflate

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

Returns:

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

Returns:

inflateEstimate

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

Specified by:

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

Throws:

java.io.IOException