public class EncPNSyncProduct
extends java.lang.Object
Constructor and Description |
---|
EncPNSyncProduct(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> mapEvClass2Trans,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,int[]> mapTrans2Cost,
java.util.List<org.deckfour.xes.classification.XEventClass> mappedEvClass)
create EncPNSyncProduct from scratch
|
Modifier and Type | Method and Description |
---|---|
int |
getCostOfFiringTransition(int trans) |
java.util.Map<java.lang.Integer,java.lang.Integer> |
getEncFinalMarking() |
java.util.Map<java.lang.Integer,java.lang.Integer> |
getEncInitialMarking() |
java.util.Set<java.lang.Integer> |
getInhibitorsOf(java.lang.Integer trans) |
java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> |
getMapArc2Weight() |
java.util.Map<java.lang.Integer,java.lang.Integer> |
getMapEncNode2Cost() |
java.util.Map<java.lang.Integer,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
getMapEncNode2NodeGraph() |
java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> |
getMapInhibitorArcs() |
java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> |
getMapResetArcs() |
java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> |
getPredecessors() |
java.util.Set<java.lang.Integer> |
getPredecessorsOf(java.lang.Integer trans) |
java.util.Set<java.lang.Integer> |
getResetsOf(java.lang.Integer trans) |
org.processmining.framework.util.Pair<StepTypes,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getTransitionType(int selectedTransition) |
boolean |
isMoveOnModelOnly(java.lang.Integer trans) |
void |
setEncFinalMarking(java.util.Map<java.lang.Integer,java.lang.Integer> encFinalMarking) |
void |
setEncInitialMarking(java.util.Map<java.lang.Integer,java.lang.Integer> encInitialMarking) |
void |
setMapArc2Weight(java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight) |
void |
setMapEncNode2Cost(java.util.Map<java.lang.Integer,java.lang.Integer> mapEncNode2Cost) |
void |
setMapEncNode2NodeGraph(java.util.Map<java.lang.Integer,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> mapEncNode2NodeGraph) |
void |
setMapInhibitorArcs(java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> mapInhibitorArcs) |
void |
setMapResetArcs(java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> mapResetArcs) |
void |
setPredecessors(java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> predecessors) |
java.lang.String |
toString() |
public EncPNSyncProduct(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> mapEvClass2Trans, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,int[]> mapTrans2Cost, java.util.List<org.deckfour.xes.classification.XEventClass> mappedEvClass)
net
- initMarking
- finalMarking
- mapEvClass2Trans
- mapTrans2Cost
- cost of [0]: skipping activity (move on model), [1]: inserting
activity (move on log)trace
- classes
- public java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> getMapArc2Weight()
public void setMapArc2Weight(java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapArc2Weight)
mapArc2Weight
- the mapArc2Weight to setpublic java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> getMapInhibitorArcs()
public void setMapInhibitorArcs(java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> mapInhibitorArcs)
mapInhibitorArcs
- the mapInhibitorArcs to setpublic java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> getMapResetArcs()
public void setMapResetArcs(java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> mapResetArcs)
mapResetArcs
- the mapResetArcs to setpublic java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> getPredecessors()
public void setPredecessors(java.util.Map<java.lang.Integer,java.util.Set<java.lang.Integer>> predecessors)
predecessors
- the predecessors to setpublic java.util.Map<java.lang.Integer,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getMapEncNode2NodeGraph()
public void setMapEncNode2NodeGraph(java.util.Map<java.lang.Integer,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> mapEncNode2NodeGraph)
mapEncNode2NodeGraph
- the mapEncNode2NodeGraph to setpublic java.util.Map<java.lang.Integer,java.lang.Integer> getMapEncNode2Cost()
public void setMapEncNode2Cost(java.util.Map<java.lang.Integer,java.lang.Integer> mapEncNode2Cost)
mapEncNode2Cost
- the mapEncNode2Cost to setpublic java.util.Map<java.lang.Integer,java.lang.Integer> getEncFinalMarking()
public void setEncFinalMarking(java.util.Map<java.lang.Integer,java.lang.Integer> encFinalMarking)
encFinalMarking
- the encFinalMarking to setpublic java.util.Map<java.lang.Integer,java.lang.Integer> getEncInitialMarking()
public void setEncInitialMarking(java.util.Map<java.lang.Integer,java.lang.Integer> encInitialMarking)
encInitialMarking
- the encInitialMarking to setpublic boolean isMoveOnModelOnly(java.lang.Integer trans)
public int getCostOfFiringTransition(int trans)
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Set<java.lang.Integer> getPredecessorsOf(java.lang.Integer trans)
public java.util.Set<java.lang.Integer> getInhibitorsOf(java.lang.Integer trans)
public java.util.Set<java.lang.Integer> getResetsOf(java.lang.Integer trans)
public org.processmining.framework.util.Pair<StepTypes,org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitionType(int selectedTransition)