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

All Superinterfaces:
Disposable, IModule
All Known Implementing Classes:
DefaultCounterExampleWriter

public interface ICounterExampleWriter
extends IModule

Version:
CVS $Revision: 1.5 $ $Date: 2004/12/18 22:36:33 $
Author:
Robby

Method Summary
 Properties getOverriddenBogorConfiguration()
           
 void storeCounterExample(List<ICounterExampleSchedulingInfo> cesis, String reason)
           
 void writeCounterExamples()
           
 
Methods inherited from interface edu.ksu.cis.projects.bogor.module.IModule
connect, getCopyrightNotice, setOptions
 
Methods inherited from interface edu.ksu.cis.projects.bogor.util.Disposable
dispose
 

Method Detail

getOverriddenBogorConfiguration

Properties getOverriddenBogorConfiguration()

storeCounterExample

void storeCounterExample(List<ICounterExampleSchedulingInfo> cesis,
                         String reason)

writeCounterExamples

void writeCounterExamples()