org.processmining.plugins.astar.petrinet

Class AbstractPetrinetReplayer.Result

java.lang.Object

org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer.Result

Enclosing class:

AbstractPetrinetReplayer<T extends nl.tue.astar.Tail,D extends AbstractPDelegate<T>>

public static class AbstractPetrinetReplayer.Result
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
nl.tue.astar.Trace	filteredTrace
long	milliseconds
int	queuedStates
PRecord	record
boolean	reliable
int	states
int	trace
gnu.trove.map.TIntIntMap	trace2orgTrace
gnu.trove.list.TIntList	unUsedIndices

Constructor Summary

Constructors

Constructor and Description
AbstractPetrinetReplayer.Result()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

record

public PRecord record

states

public int states

milliseconds

public long milliseconds

trace

public int trace

filteredTrace

public nl.tue.astar.Trace filteredTrace

reliable

public boolean reliable

queuedStates

public int queuedStates

unUsedIndices

public gnu.trove.list.TIntList unUsedIndices

trace2orgTrace

public gnu.trove.map.TIntIntMap trace2orgTrace

Constructor Detail

AbstractPetrinetReplayer.Result

public AbstractPetrinetReplayer.Result()