Uses of Interface
edu.ksu.cis.projects.bogor.module.IProgressManager

Packages that use IProgressManager
edu.ksu.cis.projects.bogor Provides for Bogor command-line interface (CLI) and configuration. 
edu.ksu.cis.projects.bogor.module Provide a generic framework for dataflow analysis on BIR transition systems. 
 

Uses of IProgressManager in edu.ksu.cis.projects.bogor
 

Fields in edu.ksu.cis.projects.bogor declared as IProgressManager
protected  IProgressManager DefaultBogorConfiguration.pm
           
 

Methods in edu.ksu.cis.projects.bogor that return IProgressManager
 IProgressManager DefaultBogorConfiguration.getProgressManager()
           
 IProgressManager IBogorConfiguration.getProgressManager()
           
 

Methods in edu.ksu.cis.projects.bogor with parameters of type IProgressManager
 IMessageStore DefaultBogorConfiguration.initialize(SymbolTable symbolTable, IProgressManager pm, PrintWriter pw, Properties configuration)
           
 IMessageStore IBogorConfiguration.initialize(SymbolTable symbolTable, IProgressManager pm, PrintWriter pw, Properties configuration)
           
static void Bogor.modelCheck(String filename, PrintWriter pw, IProgressManager pm, IBogorConfiguration bc, Properties configuration)
           
static void Bogor.modelCheck(String sourceFilename, Reader source, PrintWriter pw, IProgressManager pm, IBogorConfiguration bc, Properties configuration)
           
static void Bogor.modelCheck(SymbolTable symbolTable, PrintWriter pw, IProgressManager pm, IBogorConfiguration bc, Properties c)
           
 void DefaultBogorConfiguration.setProgressManager(IProgressManager pm)
           
 void IBogorConfiguration.setProgressManager(IProgressManager pm)
           
 

Uses of IProgressManager in edu.ksu.cis.projects.bogor.module
 

Classes in edu.ksu.cis.projects.bogor.module that implement IProgressManager
 class AbstractProgressManager
           
protected  class DefaultCounterExampleWriter.DummyProgressManager
          [Document Pending]
 

Fields in edu.ksu.cis.projects.bogor.module declared as IProgressManager
protected  IProgressManager DefaultSearcher.pm