Package jflex

Class StateSet

java.lang.Object
jflex.StateSet
public final class StateSet extends Object
A set of NFA states (= integers).

Very similar to java.util.BitSet, but is faster and doesn't crash

Version:
JFlex 1.7.0

  • Field Details

  • Constructor Details

    • StateSet

      public StateSet()
      Constructor for StateSet.

    • StateSet

      public StateSet(int size)
      Constructor for StateSet.
      Parameters:
      size - a int.

    • StateSet

      public StateSet(int size, int state)
      Constructor for StateSet.
      Parameters:
      size - a int.
      state - a int.

    • StateSet

      public StateSet(StateSet set)
      Constructor for StateSet.
      Parameters:
      set - a StateSet object.

  • Method Details

    • addState

      public void addState(int state)
      addState.
      Parameters:
      state - a int.

    • size2nbits

      private int size2nbits(int size)

    • resize

      private void resize(int size)

    • clear

      public void clear()
      clear.

    • isElement

      public boolean isElement(int state)
      isElement.
      Parameters:
      state - a int.
      Returns:
      a boolean.

    • getAndRemoveElement

      public int getAndRemoveElement()
      Returns one element of the set and removes it.

      Precondition: the set is not empty.

      Returns:
      a int.

    • remove

      public void remove(int state)
      remove.
      Parameters:
      state - a int.

    • complement

      public StateSet complement(StateSet set)
      Returns the set of elements that contained are in the specified set but are not contained in this set.
      Parameters:
      set - a StateSet object.
      Returns:
      a StateSet object.

    • add

      public void add(StateSet set)
      add.
      Parameters:
      set - a StateSet object.

    • containsSet

      public boolean containsSet(StateSet set)
      containsSet.
      Parameters:
      set - a StateSet object.
      Returns:
      a boolean.

    • equals

      public boolean equals(Object b)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      hashCode.
      Overrides:
      hashCode in class Object
      Returns:
      a int.

    • states

      public StateSetEnumerator states()
      states.
      Returns:
      a StateSetEnumerator object.

    • containsElements

      public boolean containsElements()
      containsElements.
      Returns:
      a boolean.

    • copy

      public StateSet copy()
      copy.
      Returns:
      a StateSet object.

    • copy

      public void copy(StateSet set)
      Copy specified StateSet into this.
      Parameters:
      set - the state set to copy.

    • toString

      public String toString()
      toString.
      Overrides:
      toString in class Object
      Returns:
      a String object.