Uses of Class

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

Uses of JPFBase in edu.neu.ccs.jpf

Subclasses of JPFBase in edu.neu.ccs.jpf
 class JPF
          The Java Power Framework class JPF provides the foundation for creating an automatic Java GUI application with access to: the JPT console I/O via the interface ConsoleAware a simple graphics window using a BufferedPanel.