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

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.