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

Packages that use IStateManager

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 IStateManager in edu.ksu.cis.projects.bogor

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

protected IStateManager

DefaultBogorConfiguration.sm

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

IStateManager	DefaultBogorConfiguration.getStateManager()
IStateManager	IBogorConfiguration.getStateManager()

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

void	DefaultBogorConfiguration.setStateManager(IStateManager sm)
void	IBogorConfiguration.setStateManager(IStateManager sm)

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

Classes in edu.ksu.cis.projects.bogor.module that implement IStateManager

protected static class	DefaultCounterExampleWriter.DummyStateManagerProxy [Document Pending]
class	DefaultStateManager

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

protected IStateManager	DefaultCounterExampleWriter.DummyStateManagerProxy.sm [Document Pending]
protected IStateManager	DefaultSearcher.sm

Constructors in edu.ksu.cis.projects.bogor.module with parameters of type IStateManager

DefaultCounterExampleWriter.DummyStateManagerProxy(IStateManager sm)
Creates a new DummyStateManagerProxy object.