Package proguard.analysis.cpa.interfaces

Interface ReachedSet

All Known Implementing Classes:

DefaultReachedSet, ProgramLocationDependentReachedSet

public interface ReachedSet

The ReachedSet stores reached States discovered by the Algorithm.

Method Summary

Modifier and Type	Method	Description
boolean	add(AbstractState abstractState)	Adds an abstract state.
boolean	addAll(java.util.Collection<? extends AbstractState> abstractStates)	Adds multiple abstract states.
java.util.Collection<? extends AbstractState>	asCollection()	Returns a collection representation of itself.
java.util.Collection<? extends AbstractState>	getReached(AbstractState abstractState)	Returns a collection of abstract states mergeable with the abstractState.
boolean	remove(AbstractState abstractState)	Removes an abstract state.
boolean	removeAll(java.util.Collection<?> abstractStates)	Removes multiple abstract states.

Method Detail

add

boolean add(AbstractState abstractState)

Adds an abstract state.

addAll

boolean addAll(java.util.Collection<? extends AbstractState> abstractStates)

Adds multiple abstract states.

remove

boolean remove(AbstractState abstractState)

Removes an abstract state.

removeAll

boolean removeAll(java.util.Collection<?> abstractStates)

Removes multiple abstract states.

asCollection

java.util.Collection<? extends AbstractState> asCollection()

Returns a collection representation of itself.

getReached

java.util.Collection<? extends AbstractState> getReached(AbstractState abstractState)

Returns a collection of abstract states mergeable with the abstractState.