Class SLDPNVisualizer<T extends StochasticLabelledDataPetriNet>

    • Constructor Summary

      Constructors 
      Constructor Description
      SLDPNVisualizer​(T net)  
    • Method Summary

      All Methods Instance Methods Abstract Methods Concrete Methods 
      Modifier and Type Method Description
      void decoratePlace​(T net, int place, org.processmining.plugins.graphviz.dot.DotNode dotNode)  
      void decorateTransition​(T net, int transition, org.processmining.plugins.graphviz.dot.DotNode dotNode)  
      void decorateVariable​(T net, int variable, org.processmining.plugins.graphviz.dot.DotNode dotNode)  
      protected abstract double getTransitionWeight​(int a, DataState dataState)  
      protected void setVariableValue​(int variable, double val)  
      org.processmining.plugins.graphviz.visualisation.DotPanel visualiseNet()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • SLDPNVisualizer

        public SLDPNVisualizer​(T net)
    • Method Detail

      • visualiseNet

        public org.processmining.plugins.graphviz.visualisation.DotPanel visualiseNet()
      • decoratePlace

        public void decoratePlace​(T net,
                                  int place,
                                  org.processmining.plugins.graphviz.dot.DotNode dotNode)
      • decorateTransition

        public void decorateTransition​(T net,
                                       int transition,
                                       org.processmining.plugins.graphviz.dot.DotNode dotNode)
      • decorateVariable

        public void decorateVariable​(T net,
                                     int variable,
                                     org.processmining.plugins.graphviz.dot.DotNode dotNode)
      • setVariableValue

        protected void setVariableValue​(int variable,
                                        double val)
      • getTransitionWeight

        protected abstract double getTransitionWeight​(int a,
                                                      DataState dataState)