Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package edu.ksu.cis.projects.bogor

Provides for Bogor command-line interface (CLI) and configuration.

See:
          Description

Interface Summary
IBogorConfiguration  
 

Class Summary
Bogor Main entry point for command-line Bogor.
DefaultBogorConfiguration  
LoggingConstants  
TrailsViewer Command-line driver to inspect counterexample files.
 

Package edu.ksu.cis.projects.bogor Description

Provides for Bogor command-line interface (CLI) and configuration.

Author: Robby

Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES