public class PNCodec
extends java.lang.Object
Constructor and Description |
---|
PNCodec() |
PNCodec(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
Modifier and Type | Method and Description |
---|---|
void |
addInhibitorPredecessors(java.lang.Short encodedTransition,
java.util.Set<java.lang.Short> encodedPredecessors) |
void |
addPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
java.lang.Short encodedPlace) |
void |
addPredecessors(java.lang.Short encodedTransition,
java.util.Set<java.lang.Short> encodedPredecessors) |
void |
addResetPredecessors(java.lang.Short encodedTransition,
java.util.Set<java.lang.Short> encodedPredecessors) |
void |
addSuccessors(java.lang.Short encodedTransition,
java.util.Set<java.lang.Short> encodedSuccessors) |
void |
addTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
java.lang.Short encodedTransition) |
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.Map<java.lang.Short,java.util.Set<java.lang.Short>> |
getInhibitorpredecessors() |
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.Map<java.lang.Short,java.util.Set<java.lang.Short>> |
getResetpredecessors() |
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 |
removeTransition(java.lang.Short transition) |
void |
setInhibitorpredecessors(java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> inhibitorpredecessors) |
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 |
setResetpredecessors(java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> resetpredecessors) |
void |
setSuccessors(java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> successors) |
java.lang.String |
toString()
print
|
public PNCodec()
public PNCodec(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
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)
public java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> getInhibitorpredecessors()
public void setInhibitorpredecessors(java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> inhibitorpredecessors)
inhibitorpredecessors
- the inhibitorpredecessors to setpublic java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> getResetpredecessors()
public void setResetpredecessors(java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> resetpredecessors)
resetpredecessors
- the resetpredecessors to setpublic void addPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place, java.lang.Short encodedPlace)
public void addTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, java.lang.Short encodedTransition)
public void addSuccessors(java.lang.Short encodedTransition, java.util.Set<java.lang.Short> encodedSuccessors)
public void addPredecessors(java.lang.Short encodedTransition, java.util.Set<java.lang.Short> encodedPredecessors)
public void addInhibitorPredecessors(java.lang.Short encodedTransition, java.util.Set<java.lang.Short> encodedPredecessors)
public void addResetPredecessors(java.lang.Short encodedTransition, java.util.Set<java.lang.Short> encodedPredecessors)
public void removeTransition(java.lang.Short transition)