public class SyncProductParam extends AbstractDefaultPNReplayParam
canceller, createConn, guiMode
Constructor and Description |
---|
SyncProductParam() |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking() |
java.lang.Integer |
getMoveOnLogOnly() |
java.lang.Integer |
getMoveOnModelOnlyInvi() |
java.lang.Integer |
getMoveOnModelOnlyReal() |
java.lang.Integer |
getMoveSynchronizedViolating() |
java.lang.Boolean |
getMoveSynchronizedViolatingPartially() |
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 |
setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
void |
setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking) |
void |
setMoveOnLogOnly(java.lang.Integer moveOnLogOnly) |
void |
setMoveOnModelOnlyInvi(java.lang.Integer moveOnModelOnlyInvi) |
void |
setMoveOnModelOnlyReal(java.lang.Integer moveOnModelOnlyReal) |
void |
setMoveSynchronizedViolating(java.lang.Integer moveSynchronizedViolating) |
void |
setMoveSynchronizedViolatingPartially(java.lang.Boolean moveSynchronizedViolatingPartially) |
getAsynchronousMoveSort, getCanceller, getEpsilon, getExpectedAlignmentOverrun, getNumThreads, getQueueingModel, getType, isCreatingConn, isGUIMode, setAsynchronousMoveSort, setCanceller, setCreateConn, setEpsilon, setExpectedAlignmentOverrun, setGUIMode, setNumThreads, setQueueingModel, setType
public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
public void setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking)
initialMarking
- the initialMarking to setpublic java.lang.Integer getMoveOnLogOnly()
public void setMoveOnLogOnly(java.lang.Integer moveOnLogOnly)
moveOnLogOnly
- the moveOnLogOnly to setpublic java.lang.Integer getMoveOnModelOnlyInvi()
public void setMoveOnModelOnlyInvi(java.lang.Integer moveOnModelOnlyInvi)
moveOnModelOnlyInvi
- the moveOnModelOnlyInvi to setpublic java.lang.Integer getMoveOnModelOnlyReal()
public void setMoveOnModelOnlyReal(java.lang.Integer moveOnModelOnlyReal)
moveOnModelOnlyReal
- the moveOnModelOnlyReal to setpublic java.lang.Integer getMoveSynchronizedViolating()
public void setMoveSynchronizedViolating(java.lang.Integer moveSynchronizedViolating)
moveSynchronizedViolating
- the moveSynchronizedViolating to setpublic java.lang.Boolean getMoveSynchronizedViolatingPartially()
public void setMoveSynchronizedViolatingPartially(java.lang.Boolean moveSynchronizedViolatingPartially)
moveSynchronizedViolatingPartially
- the moveSynchronizedViolatingPartially to setpublic void replaceTransitions(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> configuration, boolean keepNonReplacedMapping)
IPNReplayParameter
configuration
- map from original transitions to their replacementskeepNonReplacedMapping
- if true, non replaced transitions are kept in the new mappingpublic void setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] finalMarkings)