public class PNManifestReplayerParameter extends AbstractPNManifestReplayerParameter
Modifier and Type | Field and Description |
---|---|
protected TransClass2PatternMap |
mapping |
protected int |
maxNumOfStates |
buildConnection, canceller, finalMarkings, gui, initMarking, mapEvClass2Cost, transClass2Cost, transClassSync2Cost
Constructor and Description |
---|
PNManifestReplayerParameter() |
PNManifestReplayerParameter(java.util.Map<TransClass,java.lang.Integer> mapTransClass2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<TransClass,java.lang.Integer> mapTransClassSync2Cost,
TransClass2PatternMap mapping,
int maxNumOfStates,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
PNManifestReplayerParameter(java.util.Map<TransClass,java.lang.Integer> mapTransClass2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
TransClass2PatternMap mapping,
int maxNumOfStates,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<EvClassPattern> |
getAllPatternsFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
Get all patterns mapped for a transition
|
TransClass2PatternMap |
getMapping() |
int |
getMaxNumOfStates() |
void |
setMapping(TransClass2PatternMap mapping) |
void |
setMaxNumOfStates(int maxNumOfStates) |
getCanceller, getFinalMarkings, getInitMarking, getMapEvClass2Cost, getMoveLogCost, getMoveModelCost, getMoveSyncCost, getTransClass2Cost, isBuildConnection, isGUIMode, setBuildConnection, setCanceller, setFinalMarkings, setGUIMode, setInitMarking, setMapEvClass2Cost, setTrans2Cost, setTransSync2Cost
protected TransClass2PatternMap mapping
protected int maxNumOfStates
public PNManifestReplayerParameter()
public PNManifestReplayerParameter(java.util.Map<TransClass,java.lang.Integer> mapTransClass2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, TransClass2PatternMap mapping, int maxNumOfStates, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
public PNManifestReplayerParameter(java.util.Map<TransClass,java.lang.Integer> mapTransClass2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, java.util.Map<TransClass,java.lang.Integer> mapTransClassSync2Cost, TransClass2PatternMap mapping, int maxNumOfStates, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
public java.util.Set<EvClassPattern> getAllPatternsFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
t
- public void setMapping(TransClass2PatternMap mapping)
mapping
- the mapping to setpublic void setMaxNumOfStates(int maxNumOfStates)
maxNumOfStates
- the maxNumOfStates to setpublic int getMaxNumOfStates()
public TransClass2PatternMap getMapping()