Package jflex

Class StateSet


  • public final class StateSet
    extends java.lang.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
    • Constructor Detail

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

      • 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​(java.lang.Object b)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        hashCode.
        Overrides:
        hashCode in class java.lang.Object
        Returns:
        a int.
      • containsElements

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

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

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