Package org.processmining.discoverstochasticbpmn.models

Class XORChoiceMap.TransitionCounts

  • Enclosing class:
    XORChoiceMap
    public static class XORChoiceMap.TransitionCounts
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      TransitionCounts​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, java.math.BigDecimal count)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.math.BigDecimal getCount()  
      org.processmining.stochasticbpmn.models.stochastic.Probability getProbability()  
      org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition()  
      void incrementCounts()  
      void setCount​(java.math.BigDecimal c)  
      void setProbability​(java.math.BigDecimal total)  
      void setTransition​(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • TransitionCounts

        public TransitionCounts​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                        java.math.BigDecimal count)

    • Method Detail

      • getTransition

        public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition()

      • getCount

        public java.math.BigDecimal getCount()

      • getProbability

        public org.processmining.stochasticbpmn.models.stochastic.Probability getProbability()

      • setTransition

        public void setTransition​(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

      • setCount

        public void setCount​(java.math.BigDecimal c)

      • incrementCounts

        public void incrementCounts()

      • setProbability

        public void setProbability​(java.math.BigDecimal total)