Package proguard.analysis.cpa.jvm.operators

Class Summary

Class	Description
JvmDefaultExpandOperator<StateT extends LatticeAbstractState<StateT>>	This ExpandOperator simulates the JVM behavior on a method exit.
JvmDefaultReduceOperator<StateT extends LatticeAbstractState<StateT>>	This ReduceOperator simulates the JVM behavior on a method call.