Uses of Class

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

Uses of JPF in edu.neu.ccs.jpf

Fields in edu.neu.ccs.jpf declared as JPF
protected  JPF JPFApplication.initializer
          Initializer object for the class with the methods.

Constructors in edu.neu.ccs.jpf with parameters of type JPF
JPFApplication(JPF initializer, String title)
          Constructs the GUI.