Class FSMTransition

java.lang.Object
org.jacop.util.fsm.FSMTransition

public class FSMTransition extends Object
Version:
4.10
  • Field Details

    • 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 Details

    • 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 Details

    • deepClone

      public FSMTransition deepClone(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 Object
    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object
    • toString

      public String toString()
      Overrides:
      toString in class Object