package-info.java

/**
 * Classes for the control-flow graph. TODO: we should somehow formalize this
 * structure.
 */
/**
 * @author schaef
 *
 */
package soottocfg.cfg;