public interface IPNReplayParameter
Modifier and Type | Method and Description |
---|---|
nl.tue.astar.AStarThread.Canceller |
getCanceller() |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
int |
getNumThreads() |
boolean |
isCreatingConn() |
boolean |
isGUIMode() |
void |
replaceTransitions(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> configuration,
boolean keepNonReplacedMapping)
Replace transitions in this parameter (if the parameter consider
individual transitions) with another transitions.
|
void |
setCreateConn(boolean value)
If true, connection between replay result and its net and log is created
|
void |
setFinalMarkings(org.processmining.models.semantics.petrinet.Marking... finalMarkings) |
void |
setGUIMode(boolean value)
If true, messages are printed to context object
|
void |
setInitialMarking(org.processmining.models.semantics.petrinet.Marking initMarking) |
void |
setNumThreads(int threads) |
boolean isCreatingConn()
boolean isGUIMode()
void setGUIMode(boolean value)
value
- void setCreateConn(boolean value)
value
- void setInitialMarking(org.processmining.models.semantics.petrinet.Marking initMarking)
void setFinalMarkings(org.processmining.models.semantics.petrinet.Marking... finalMarkings)
void replaceTransitions(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> configuration, boolean keepNonReplacedMapping)
configuration
- map from original transitions to their replacementskeepNonReplacedMapping
- if true, non replaced transitions are kept in the new mappingnl.tue.astar.AStarThread.Canceller getCanceller()
org.processmining.models.semantics.petrinet.Marking getInitialMarking()
int getNumThreads()
void setNumThreads(int threads)