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

Packages that use IStateFactory

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.
edu.ksu.cis.projects.bogor.module.state	Provides for Bogor state.

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

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

protected IStateFactory

DefaultBogorConfiguration.sf

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

IStateFactory	DefaultBogorConfiguration.getStateFactory()
IStateFactory	IBogorConfiguration.getStateFactory()

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

void	DefaultBogorConfiguration.setStateFactory(IStateFactory sf)
void	IBogorConfiguration.setStateFactory(IStateFactory sf)

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

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

protected IStateFactory	DefaultActionTaker.sf
protected IStateFactory	DefaultSearcher.sf
protected IStateFactory	DefaultStateManager.sf

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

Fields in edu.ksu.cis.projects.bogor.module.backtrack declared as IStateFactory

protected IStateFactory

DefaultBacktrackingInfoFactory.sf

Uses of IStateFactory in edu.ksu.cis.projects.bogor.module.state

Classes in edu.ksu.cis.projects.bogor.module.state that implement IStateFactory

class

DefaultStateFactory The default implementation of IStateFactory.

Fields in edu.ksu.cis.projects.bogor.module.state declared as IStateFactory

protected IStateFactory

DefaultState.sf Holds the state factory of this state.

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

DefaultState(SymbolTable st, IStateFactory sf, IValueArray globalValues)
Default constructor.