Uses of Class
edu.neu.ccs.jpf.JPF

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.