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

Packages that use IStateFactoryArguments

edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.state	Provides for Bogor state.

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

Methods in edu.ksu.cis.projects.bogor.module that return IStateFactoryArguments

protected IStateFactoryArguments

DefaultSearcher.getInitialStateFactoryArguments()

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

IState	IStateFactory.createState(IStateFactoryArguments sfa) Creates an initial state.
protected void	DefaultSearcher.fillInitialVariableValues(IState vanillaState, IStateFactoryArguments args)

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

Methods in edu.ksu.cis.projects.bogor.module.state with parameters of type IStateFactoryArguments

IState

DefaultStateFactory.createState(IStateFactoryArguments sfa)