org.processmining.plugins.petrinet.replayer.util
Class PNCodec

java.lang.Object
  extended by org.processmining.plugins.petrinet.replayer.util.PNCodec

public class PNCodec
extends java.lang.Object

Author:
aadrians

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()
          print
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PNCodec

public PNCodec(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
Method Detail

getEncodeOfTransition

public java.lang.Short getEncodeOfTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition trans)

getEncodeOfPlace

public java.lang.Short getEncodeOfPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place)

getTransitionOfEncode

public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransitionOfEncode(java.lang.Short val)

getPlaceOfEncode

public org.processmining.models.graphbased.directed.petrinet.elements.Place getPlaceOfEncode(java.lang.Short val)

getSuccessors

public java.util.Set<java.lang.Short> getSuccessors(java.lang.Short trans)
Successors

Parameters:
trans -
Returns:

getPredecessors

public java.util.Set<java.lang.Short> getPredecessors(java.lang.Short trans)
Predecessors

Parameters:
trans -
Returns:

getMapShortPlace

public java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Place> getMapShortPlace()
Returns:
the mapShortPlace

setMapShortPlace

public void setMapShortPlace(java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Place> mapShortPlace)
Parameters:
mapShortPlace - the mapShortPlace to set

getMapPlaceShort

public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Short> getMapPlaceShort()
Returns:
the mapPlaceShort

setMapPlaceShort

public void setMapPlaceShort(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Short> mapPlaceShort)
Parameters:
mapPlaceShort - the mapPlaceShort to set

getSuccessors

public java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> getSuccessors()
Returns:
the successors

setSuccessors

public void setSuccessors(java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> successors)
Parameters:
successors - the successors to set

getPredecessors

public java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> getPredecessors()
Returns:
the predecessors

setPredecessors

public void setPredecessors(java.util.Map<java.lang.Short,java.util.Set<java.lang.Short>> predecessors)
Parameters:
predecessors - the predecessors to set

getMapShortTrans

public java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Transition> getMapShortTrans()
Returns:
the mapShortTrans

setMapShortTrans

public void setMapShortTrans(java.util.Map<java.lang.Short,org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapShortTrans)
Parameters:
mapShortTrans - the mapShortTrans to set

getMapTransShort

public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Short> getMapTransShort()
Returns:
the mapTransShort

setMapTransShort

public void setMapTransShort(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Short> mapTransShort)
Parameters:
mapTransShort - the mapTransShort to set

encode

public short encode(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
Encode the transition

Parameters:
node -
Returns:

decode

public org.processmining.models.graphbased.directed.petrinet.elements.Transition decode(short value)
Decode the transition

Parameters:
value -
Returns:

toString

public java.lang.String toString()
print

Overrides:
toString in class java.lang.Object

getInhibitors

public java.util.Set<java.lang.Short> getInhibitors(java.lang.Short selectedNode)

getResets

public java.util.Set<java.lang.Short> getResets(java.lang.Short selectedNode)