Package proguard.analysis.cpa.state

Interface Summary

Interface	Description
MapAbstractStateFactory<KeyT,StateT extends LatticeAbstractState<StateT>>	This interface contains a method creating a fresh instance of MapAbstractState.

Class Summary

Class	Description
DifferentialMapAbstractStateFactory<KeyT,StateT extends LatticeAbstractState<StateT>>	This interface contains a method creating a fresh instance of DifferentialMapAbstractState.
HashMapAbstractStateFactory<KeyT,StateT extends LatticeAbstractState<StateT>>	This interface contains a method creating a fresh instance of HashMapAbstractState.
LimitedHashMapAbstractStateFactory<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This interface contains a method creating a fresh instance of LimitedHashMapAbstractState.