Class FSMState

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

public class FSMState extends Object
Version:
4.10
  • Field Details

    • id

      public int id
      Id of the state. There can be multiple copies of the same state with the same id.
    • transitions

      public Set<FSMTransition> transitions
      It specifies the list of transitions outgoing from this state.
  • Constructor Details

    • FSMState

      public FSMState(HashSet<FSMTransition> transitions, int id)
      It constructs a FSM state.
      Parameters:
      transitions - it specifies transition
      id - state id
    • FSMState

      public FSMState()
      It creates a state with id equl to the number of instances FSMState created.
    • FSMState

      public FSMState(FSMState a)
      It creates a state with an id as the id specified by a supplied state.
      Parameters:
      a - state from which id is taken while creating this state.
  • Method Details

    • deepClone

      public FSMState deepClone(Set<FSMState> states)
      Performing deep clone unless this state has already a state with the same id in the array of states.
      Parameters:
      states - it contains the states which do not need to be created, only reused.
      Returns:
      a deep clone of the current state.
    • addTransition

      public void addTransition(FSMTransition transition)
      It adds transition to the list of transitions from this state.
      Parameters:
      transition - the transition being added.
    • equals

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

      public int hashCode()
      Overrides:
      hashCode in class Object
    • toString

      public String toString()
      Overrides:
      toString in class Object