Package | Description |
---|---|
org.processmining.plugins.petrinet.replay |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ReplayState<C>> |
ReplayStateExpander.expandNode(ReplayState<C> state,
org.processmining.framework.plugin.Progress progress,
java.util.Collection<ReplayState<C>> unmodifiableResultCollection)
Expands a state.
|
Modifier and Type | Method and Description |
---|---|
int |
ReplayState.compareTo(ReplayState<C> state)
Compares this state to another state.
|
java.util.Collection<ReplayState<C>> |
ReplayStateExpander.expandNode(ReplayState<C> state,
org.processmining.framework.plugin.Progress progress,
java.util.Collection<ReplayState<C>> unmodifiableResultCollection)
Expands a state.
|
void |
ReplayStateExpander.processLeaf(ReplayState<C> leafState,
org.processmining.framework.plugin.Progress progress,
java.util.Collection<ReplayState<C>> resultCollection)
Required by the interface, but not used here.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ReplayState<C>> |
ReplayStateExpander.expandNode(ReplayState<C> state,
org.processmining.framework.plugin.Progress progress,
java.util.Collection<ReplayState<C>> unmodifiableResultCollection)
Expands a state.
|
void |
ReplayStateExpander.processLeaf(ReplayState<C> leafState,
org.processmining.framework.plugin.Progress progress,
java.util.Collection<ReplayState<C>> resultCollection)
Required by the interface, but not used here.
|
Constructor and Description |
---|
ReplayState(ReplayState<C> state,
org.processmining.models.semantics.petrinet.Marking marking,
org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
C cost,
java.util.List<? extends java.lang.Object> trace)
Constructs a new state, given its predecessor state, the new marking, the
transition leading from the predecessor state to the new state, the cost
to go from the predecessor state to the new state, and the trace still
left to replay from the new state.
|