|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.plugins.petrinet.replayer.util.PNCodec
public class PNCodec
Constructor Summary | |
---|---|
PNCodec(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
|
Method Summary | |
---|---|
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
decode(short value)
Decode the transition |
short |
encode(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
Encode the transition |
java.lang.Short |
getEncodeOfPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place)
|
java.lang.Short |
getEncodeOfTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)
|
java.util.Set<java.lang.Short> |
getInhibitors(java.lang.Short selectedNode)
|
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Short> |
getMapPlaceShort()
|
java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getMapShortPlace()
|
java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getMapShortTrans()
|
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Short> |
getMapTransShort()
|
org.processmining.models.graphbased.directed.petrinet.elements.Place |
getPlaceOfEncode(java.lang.Short val)
|
java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> |
getPredecessors()
|
java.util.Set<java.lang.Short> |
getPredecessors(java.lang.Short trans)
Predecessors |
java.util.Set<java.lang.Short> |
getResets(java.lang.Short selectedNode)
|
java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> |
getSuccessors()
|
java.util.Set<java.lang.Short> |
getSuccessors(java.lang.Short trans)
Successors |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getTransitionOfEncode(java.lang.Short val)
|
void |
setMapPlaceShort(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Short> mapPlaceShort)
|
void |
setMapShortPlace(java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Place> mapShortPlace)
|
void |
setMapShortTrans(java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapShortTrans)
|
void |
setMapTransShort(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Short> mapTransShort)
|
void |
setPredecessors(java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> predecessors)
|
void |
setSuccessors(java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> successors)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public PNCodec(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
Method Detail |
---|
public java.lang.Short getEncodeOfTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)
public java.lang.Short getEncodeOfPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place)
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransitionOfEncode(java.lang.Short val)
public org.processmining.models.graphbased.directed.petrinet.elements.Place getPlaceOfEncode(java.lang.Short val)
public java.util.Set<java.lang.Short> getSuccessors(java.lang.Short trans)
trans
-
public java.util.Set<java.lang.Short> getPredecessors(java.lang.Short trans)
trans
-
public java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Place> getMapShortPlace()
public void setMapShortPlace(java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Place> mapShortPlace)
mapShortPlace
- the mapShortPlace to setpublic java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Short> getMapPlaceShort()
public void setMapPlaceShort(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Short> mapPlaceShort)
mapPlaceShort
- the mapPlaceShort to setpublic java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> getSuccessors()
public void setSuccessors(java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> successors)
successors
- the successors to setpublic java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> getPredecessors()
public void setPredecessors(java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> predecessors)
predecessors
- the predecessors to setpublic java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Transition> getMapShortTrans()
public void setMapShortTrans(java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapShortTrans)
mapShortTrans
- the mapShortTrans to setpublic java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Short> getMapTransShort()
public void setMapTransShort(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Short> mapTransShort)
mapTransShort
- the mapTransShort to setpublic short encode(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
node
-
public org.processmining.models.graphbased.directed.petrinet.elements.Transition decode(short value)
value
-
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Set<java.lang.Short> getInhibitors(java.lang.Short selectedNode)
public java.util.Set<java.lang.Short> getResets(java.lang.Short selectedNode)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |