Uses of Package

Packages that use edu.neu.ccs.jpf
edu.neu.ccs.jpf Provides the classes that implement the Java Power Framework

Classes in edu.neu.ccs.jpf used by edu.neu.ccs.jpf
          Class JPFPane is an adaption of the earlier JPF class JPFApplication which has been removed as of 2.7.0.
          This interface describes an object that can prune an array of Method objects to remove those that fail to meet some criterion.