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

Packages that use IBacktrackingInfoFactory

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.
edu.ksu.cis.projects.bogor.module.backtrack	Provides types and factories for "undo" operations.

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

Fields in edu.ksu.cis.projects.bogor declared as IBacktrackingInfoFactory

protected IBacktrackingInfoFactory

DefaultBogorConfiguration.bif

Methods in edu.ksu.cis.projects.bogor that return IBacktrackingInfoFactory

IBacktrackingInfoFactory	DefaultBogorConfiguration.getBacktrackingInfoFactory()
IBacktrackingInfoFactory	IBogorConfiguration.getBacktrackingInfoFactory()

Methods in edu.ksu.cis.projects.bogor with parameters of type IBacktrackingInfoFactory

void	DefaultBogorConfiguration.setBacktrackingInfoFactory(IBacktrackingInfoFactory bif)
void	IBogorConfiguration.setBacktrackingInfoFactory(IBacktrackingInfoFactory bif)

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

Fields in edu.ksu.cis.projects.bogor.module declared as IBacktrackingInfoFactory

protected IBacktrackingInfoFactory	DefaultActionTaker.bif
protected IBacktrackingInfoFactory	DefaultCounterExampleWriter.GuidedSearcherProxy.bif [Document Pending]
protected IBacktrackingInfoFactory	DefaultSearcher.bif
protected IBacktrackingInfoFactory	DefaultTransformer.bif

Uses of IBacktrackingInfoFactory in edu.ksu.cis.projects.bogor.module.backtrack

Classes in edu.ksu.cis.projects.bogor.module.backtrack that implement IBacktrackingInfoFactory

class

DefaultBacktrackingInfoFactory