Package proguard.analysis.cpa.util

Interface Summary

Interface	Description
StateNames	Names of abstract states used for state extraction with AbstractState.getStateByName(String).