Package proguard.analysis.cpa.interfaces

Interface ReachedSet<StateT extends AbstractState<StateT>>

Type Parameters:
StateT - The states contained in the reached set.
All Known Implementing Classes:
DefaultReachedSet, ProgramLocationDependentReachedSet
public interface ReachedSet<StateT extends AbstractState<StateT>>
The ReachedSet stores reached States discovered by the CpaAlgorithm.

  • Method Details

    • add

      boolean add(StateT abstractState)
      Adds an abstract state.

    • addAll

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

    • remove

      boolean remove(StateT abstractState)
      Removes an abstract state.

    • removeAll

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

    • asCollection

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

    • getReached

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

    • clear

      void clear()
      Empties the reached set.