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 Summary

Modifier and Type	Method and 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.