Package proguard.analysis.cpa.interfaces

Interface ReachedSet<StateT extends AbstractState<StateT>>

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      boolean add​(StateT abstractState)
      Adds an abstract state.
      boolean addAll​(java.util.Collection<? extends StateT> abstractStates)
      Adds multiple abstract states.
      java.util.Collection<StateT> asCollection()
      Returns a collection representation of itself.
      void clear()
      Empties the reached set.
      java.util.Collection<StateT> getReached​(StateT abstractState)
      Returns a collection of abstract states mergeable with the abstractState.
      boolean remove​(StateT abstractState)
      Removes an abstract state.
      boolean removeAll​(java.util.Collection<? extends StateT> abstractStates)
      Removes multiple abstract states.

    • Method Detail

      • add

        boolean add​(StateT abstractState)
        Adds an abstract state.

      • addAll

        boolean addAll​(java.util.Collection<? extends StateT> abstractStates)
        Adds multiple abstract states.

      • remove

        boolean remove​(StateT abstractState)
        Removes an abstract state.

      • removeAll

        boolean removeAll​(java.util.Collection<? extends StateT> abstractStates)
        Removes multiple abstract states.

      • asCollection

        java.util.Collection<StateT> asCollection()
        Returns a collection representation of itself.

      • getReached

        java.util.Collection<StateT> getReached​(StateT abstractState)
        Returns a collection of abstract states mergeable with the abstractState.

      • clear

        void clear()
        Empties the reached set.