Class FSMTransition


  • public class FSMTransition
    extends java.lang.Object
    Version:
    4.8
    • Field Summary

      Fields 
      Modifier and Type Field Description
      IntDomain domain
      It specifies the domain associated with the transition.
      FSMState successor
      It specifies the successor state we arrive to after taking the transition.
    • Constructor Summary

      Constructors 
      Constructor Description
      FSMTransition​(IntDomain domain, FSMState state)
      It constructs a finite machine state transition.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      FSMTransition deepClone​(java.util.Set<FSMState> states)
      It performs a clone of a transition with copying the attributes too.
      boolean equals​(java.lang.Object o)  
      int hashCode()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait
    • Field Detail

      • domain

        public IntDomain domain
        It specifies the domain associated with the transition.
      • successor

        public FSMState successor
        It specifies the successor state we arrive to after taking the transition.
    • Constructor Detail

      • FSMTransition

        public FSMTransition​(IntDomain domain,
                             FSMState state)
        It constructs a finite machine state transition.
        Parameters:
        domain - the domain which triggers the transition.
        state - the successor state reached by a transition.
    • Method Detail

      • deepClone

        public FSMTransition deepClone​(java.util.Set<FSMState> states)
        It performs a clone of a transition with copying the attributes too.
        Parameters:
        states - a list of states which have been already copied.
        Returns:
        the transition clone.
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • toString

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