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

Packages that use ICounterExampleWriter
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 ICounterExampleWriter in edu.ksu.cis.projects.bogor
 

Fields in edu.ksu.cis.projects.bogor declared as ICounterExampleWriter
protected  ICounterExampleWriter DefaultBogorConfiguration.cew
           
 

Methods in edu.ksu.cis.projects.bogor that return ICounterExampleWriter
 ICounterExampleWriter DefaultBogorConfiguration.getCounterExampleWriter()
           
 ICounterExampleWriter IBogorConfiguration.getCounterExampleWriter()
           
 

Methods in edu.ksu.cis.projects.bogor with parameters of type ICounterExampleWriter
 void DefaultBogorConfiguration.setCounterExampleWriter(ICounterExampleWriter cew)
           
 void IBogorConfiguration.setCounterExampleWriter(ICounterExampleWriter cew)
           
 

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

Classes in edu.ksu.cis.projects.bogor.module that implement ICounterExampleWriter
 class DefaultCounterExampleWriter
          [Document Pending]
 

Fields in edu.ksu.cis.projects.bogor.module declared as ICounterExampleWriter
protected  ICounterExampleWriter DefaultSearcher.cew