public class CostBasedCompleteManifestParam extends CostBasedCompleteParam
canceller, createConn, guiMode
Constructor and Description |
---|
CostBasedCompleteManifestParam(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
int maxNumOfStates,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> fragmentTrans)
Constructor with mapping from sync moves to cost
|
CostBasedCompleteManifestParam(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
int maxNumOfStates,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> restrictedTrans)
Default constructor, assuming that the cost of move sync is 0
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getRestrictedTrans() |
void |
setRestrictedTrans(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> restrictedTrans) |
getFinalMarkings, getInitialMarking, getMapEvClass2Cost, getMapSync2Cost, getMapTrans2Cost, getMaxNumOfStates, isPartiallyOrderedEvents, replaceTransitions, setFinalMarkings, setInitialMarking, setMapEvClass2Cost, setMapSync2Cost, setMapTrans2Cost, setMaxNumOfStates, setUsePartialOrderedEvents
getCanceller, getNumThreads, isCreatingConn, isGUIMode, setCanceller, setCreateConn, setGUIMode, setNumThreads
public CostBasedCompleteManifestParam(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings, int maxNumOfStates, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> restrictedTrans)
mapEvClass2Cost
- mapTrans2Cost
- initMarking
- finalMarkings
- maxNumOfStates
- moveModelTrans
- restrictedTrans
- public CostBasedCompleteManifestParam(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking[] finalMarkings, int maxNumOfStates, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> fragmentTrans)
mapEvClass2Cost
- mapTrans2Cost
- initMarking
- finalMarkings
- maxNumOfStates
- moveModelTrans
- fragmentTrans
- public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getRestrictedTrans()
public void setRestrictedTrans(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> restrictedTrans)
restrictedTrans
- the restrictedTrans to set