org.processmining.plugins.astar.petrinet.impl

Class PRecord

java.lang.Object

org.processmining.plugins.astar.petrinet.impl.PRecord

All Implemented Interfaces:

nl.tue.astar.Record

public class PRecord
extends java.lang.Object
implements nl.tue.astar.Record

Constructor Summary

Constructors

Constructor and Description
PRecord(int cost, PRecord predecessor, int markingsize, int traceLength)
PRecord(long state, int cost, PRecord predecessor, int logMove, int modelMove, int markingsize, int backtrace, nl.tue.storage.compressor.BitMask executed)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	getBacktraceSize() returns the length of the path from this record to the root of the search
int	getCostSoFar() returns the cost so far for reaching the corresponding state
double	getEstimatedRemainingCost() returns an underestimate for the remaining cost
static java.util.List<PRecord>	getHistory(PRecord r)
int	getModelMove() return the id of the modelmove used to reach this record from previous.If none, then Move.BOTTOM is returned
int	getMovedEvent() return the index in the trace representing the event that was moved to get to this step.
gnu.trove.TIntCollection	getNextEvents(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> delegate, nl.tue.astar.Trace trace) return the events in the trace that are currently enabled.
PRecord	getNextRecord(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d, nl.tue.astar.Trace trace, nl.tue.astar.Head nextHead, long state, int modelMove, int movedEvent, int activity) In case of a LogMove only, then logMove>=0, modelMove == AStarThread.NOMOVE, In case of a ModelMove only, then logMove == AStarThread.NOMOVE, modelMove >=0, in case of both log and model move, then logMove>=0, modelMove>=0,
PRecord	getPredecessor() returns the predecessor record.
long	getState() Returns the index of the state for which this record is kept.
<H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> nl.tue.astar.impl.State<H,T>	getState(nl.tue.storage.CompressedStore<nl.tue.astar.impl.State<H,T>> storage) retrieves the state stored at index getState() from the storage.
double	getTotalCost() Method should return sum of costSoFar and estimatedCost;
int	hashCode()
boolean	isExactEstimate() true if the last set estimate is exact.
static void	printRecord(AbstractPDelegate<?> delegate, int trace, PRecord r)
void	setEstimatedRemainingCost(double cost, boolean isExactEstimate) sets the estimate of the remaining cost.
void	setState(long index) puts the index of the state corresponding to this record in the record.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PRecord

public PRecord(long state,
       int cost,
       PRecord predecessor,
       int logMove,
       int modelMove,
       int markingsize,
       int backtrace,
       nl.tue.storage.compressor.BitMask executed)

PRecord

public PRecord(int cost,
       PRecord predecessor,
       int markingsize,
       int traceLength)

Method Detail

getState

public <H extends nl.tue.astar.Head,T extends nl.tue.astar.Tail> nl.tue.astar.impl.State<H,T> getState(nl.tue.storage.CompressedStore<nl.tue.astar.impl.State<H,T>> storage)
                                                                                          throws nl.tue.storage.StorageException

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

retrieves the state stored at index getState() from the storage.

Specified by:

getState in interface nl.tue.astar.Record

Returns:

Throws:

nl.tue.storage.StorageException

getState

public long getState()

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

Returns the index of the state for which this record is kept.

Specified by:

getState in interface nl.tue.astar.Record

Returns:

getCostSoFar

public int getCostSoFar()

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

returns the cost so far for reaching the corresponding state

Specified by:

getCostSoFar in interface nl.tue.astar.Record

Returns:

getPredecessor

public PRecord getPredecessor()

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

returns the predecessor record.

Specified by:

getPredecessor in interface nl.tue.astar.Record

Returns:

getTotalCost

public double getTotalCost()

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

Method should return sum of costSoFar and estimatedCost;

Specified by:

getTotalCost in interface nl.tue.astar.Record

setState

public void setState(long index)

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

puts the index of the state corresponding to this record in the record.

Specified by:

setState in interface nl.tue.astar.Record

getNextRecord

public PRecord getNextRecord(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> d,
                    nl.tue.astar.Trace trace,
                    nl.tue.astar.Head nextHead,
                    long state,
                    int modelMove,
                    int movedEvent,
                    int activity)

In case of a LogMove only, then logMove>=0, modelMove == AStarThread.NOMOVE, In case of a ModelMove only, then logMove == AStarThread.NOMOVE, modelMove >=0, in case of both log and model move, then logMove>=0, modelMove>=0,

Specified by:

getNextRecord in interface nl.tue.astar.Record

Parameters:

d - the delegate

trace - TODO

modelMove - the index of the transition that needs to be fired (or Move.BOTTOM if none)

activity - TODO

Returns:

getEstimatedRemainingCost

public double getEstimatedRemainingCost()

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

returns an underestimate for the remaining cost

Specified by:

getEstimatedRemainingCost in interface nl.tue.astar.Record

Returns:

setEstimatedRemainingCost

public void setEstimatedRemainingCost(double cost,
                             boolean isExactEstimate)

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

sets the estimate of the remaining cost. The method should not be called by classes other than implementations of the AStarThread

Specified by:

setEstimatedRemainingCost in interface nl.tue.astar.Record

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getModelMove

public int getModelMove()

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

return the id of the modelmove used to reach this record from previous.If none, then Move.BOTTOM is returned

Specified by:

getModelMove in interface nl.tue.astar.Record

Returns:

getHistory

public static java.util.List<PRecord> getHistory(PRecord r)

printRecord

public static void printRecord(AbstractPDelegate<?> delegate,
               int trace,
               PRecord r)

getMovedEvent

public int getMovedEvent()

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

return the index in the trace representing the event that was moved to get to this step. If none, then Move.BOTTOM is returned

Specified by:

getMovedEvent in interface nl.tue.astar.Record

Returns:

getNextEvents

public gnu.trove.TIntCollection getNextEvents(nl.tue.astar.Delegate<? extends nl.tue.astar.Head,? extends nl.tue.astar.Tail> delegate,
                                     nl.tue.astar.Trace trace)

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

return the events in the trace that are currently enabled. In case of a linearly ordered trace, at most 1 event is returned each time.

Specified by:

getNextEvents in interface nl.tue.astar.Record

trace - TODO

Returns:

getBacktraceSize

public int getBacktraceSize()

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

returns the length of the path from this record to the root of the search

Specified by:

getBacktraceSize in interface nl.tue.astar.Record

Returns:

isExactEstimate

public boolean isExactEstimate()

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

true if the last set estimate is exact. If this method returns False, the Tail implementation of the A Star algorithm has to implement FastLowerBoundTail

Specified by:

isExactEstimate in interface nl.tue.astar.Record

Returns: