public class EncPN
extends java.lang.Object
Constructor and Description |
---|
EncPN(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.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost)
Note : mapEvClass2Trans is NOT USED.
|
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.Integer,java.lang.Integer> |
getEncFinalMarking() |
java.util.Map<java.lang.Integer,java.lang.Integer> |
getEncInitialMarking() |
int |
getEncOf(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition) |
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,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() |
org.processmining.models.graphbased.directed.petrinet.PetrinetNode |
getPetrinetNodeOf(java.lang.Integer encodedPNNode) |
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) |
boolean |
isMoveOnModelOnly(java.lang.Integer trans) |
boolean |
isTransition(java.lang.Integer integer) |
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 |
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 EncPN(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.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost)
net
- initMarking
- finalMarking
- mapEvClass2Trans
- mapTrans2Cost
- 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> 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 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 int getEncOf(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
public boolean isTransition(java.lang.Integer integer)
public org.processmining.models.graphbased.directed.petrinet.PetrinetNode getPetrinetNodeOf(java.lang.Integer encodedPNNode)