Package element

Class Transition

  • public class Transition
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      Transition()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void doTransition()
      do the transition (all its arcs do the transition
      java.util.List<Arc> getArcList()  
      boolean isPullable()
      check if the transition is pullable
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • Transition

        public Transition()

    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
        Returns:
        a string representation of a transition

      • isPullable

        public boolean isPullable()
        check if the transition is pullable
        Returns:
        true if all its arcs are pullable

      • doTransition

        public void doTransition()
        do the transition (all its arcs do the transition

      • getArcList

        public java.util.List<Arc> getArcList()