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