Package dk.brics.automaton

Class State

java.lang.Object
dk.brics.automaton.State
All Implemented Interfaces:
Serializable, Comparable<State>
public class State extends Object implements Serializable, Comparable<State>
Automaton state.
Author:
Anders Møller <amoeller@cs.au.dk>
See Also:

  • Constructor Details

    • State

      public State()
      Constructs a new state. Initially, the new state is a reject state.

  • Method Details

    • getTransitions

      public Set<Transition> getTransitions()
      Returns the set of outgoing transitions. Subsequent changes are reflected in the automaton.
      Returns:
      transition set

    • addTransition

      public void addTransition(Transition t)
      Adds an outgoing transition.
      Parameters:
      t - transition

    • setAccept

      public void setAccept(boolean accept)
      Sets acceptance for this state.
      Parameters:
      accept - if true, this state is an accept state

    • isAccept

      public boolean isAccept()
      Returns acceptance status.
      Returns:
      true is this is an accept state

    • step

      public State step(char c)
      Performs lookup in transitions, assuming determinism.
      Parameters:
      c - character to look up
      Returns:
      destination state, null if no matching outgoing transition
      See Also:

    • step

      public void step(char c, Collection<State> dest)
      Performs lookup in transitions, allowing nondeterminism.
      Parameters:
      c - character to look up
      dest - collection where destination states are stored
      See Also:

    • getSortedTransitions

      public List<Transition> getSortedTransitions(boolean to_first)
      Returns sorted list of outgoing transitions.
      Parameters:
      to_first - if true, order by (to, min, reverse max); otherwise (min, reverse max, to)
      Returns:
      transition list

    • toString

      public String toString()
      Returns string describing this state. Normally invoked via Automaton.toString().
      Overrides:
      toString in class Object

    • compareTo

      public int compareTo(State s)
      Compares this object with the specified object for order. States are ordered by the time of construction.
      Specified by:
      compareTo in interface Comparable<State>

    • equals

      public boolean equals(Object obj)
      See Object.equals(java.lang.Object).
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      See Object.hashCode().
      Overrides:
      hashCode in class Object