Class Hierarchy
- java.lang.Object
- proguard.analysis.cpa.jvm.transfer.JvmTransferRelation<StateT> (implements proguard.analysis.cpa.interfaces.ProgramLocationDependentForwardTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>)
- proguard.analysis.cpa.jvm.transfer.JvmTransferRelation.InstructionAbstractInterpreter (implements proguard.classfile.instruction.visitor.InstructionVisitor)