Class Hierarchy
- java.lang.Object
- proguard.analysis.cpa.jvm.state.JvmAbstractState<ContentT> (implements proguard.analysis.cpa.interfaces.AbstractState<StateT>, proguard.analysis.cpa.interfaces.ProgramLocationDependent)
- proguard.analysis.cpa.jvm.state.JvmFrameAbstractState<StateT> (implements proguard.analysis.cpa.interfaces.AbstractState<StateT>)