Class Hierarchy
- java.lang.Object
- proguard.analysis.cpa.state.DifferentialMapAbstractStateFactory<KeyT,StateT> (implements proguard.analysis.cpa.state.MapAbstractStateFactory<KeyT,StateT>)
- proguard.analysis.cpa.state.HashMapAbstractStateFactory<KeyT,StateT> (implements proguard.analysis.cpa.state.MapAbstractStateFactory<KeyT,StateT>)
- proguard.analysis.cpa.state.LimitedHashMapAbstractStateFactory<KeyT,AbstractSpaceT> (implements proguard.analysis.cpa.state.MapAbstractStateFactory<KeyT,StateT>)
Interface Hierarchy
- proguard.analysis.cpa.state.MapAbstractStateFactory<KeyT,StateT>