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, setUsePartialOrderedEventsgetCanceller, getNumThreads, isCreatingConn, isGUIMode, setCanceller, setCreateConn, setGUIMode, setNumThreadspublic 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