Package element

Class Transition


  • public class Transition
    extends java.lang.Object
    • Constructor Detail

      • Transition

        public Transition()
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • isPullable

        public boolean isPullable()
      • doTransition

        public void doTransition()
      • getArcList

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