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 |