| Package | Description |
|---|---|
| org.processmining.plugins.petrinet.replay | |
| org.processmining.plugins.petrinet.replayfitness |
| Constructor and Description |
|---|
Replayer(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.PetrinetSemantics semantics,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,? extends java.lang.Object> map,
ReplayCostAddOperator<C> addOperator)
Constructs a replayer.
|
ReplayStateExpander(ReplaySettings<C> settings,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.PetrinetSemantics semantics,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,? extends java.lang.Object> map,
ReplayCostAddOperator<C> addOperator)
Create the state expander.
|
| Modifier and Type | Field and Description |
|---|---|
static ReplayCostAddOperator<ReplayFitnessCost> |
ReplayFitnessCost.addOperator |