Uses of Interface
edu.ksu.cis.projects.bogor.module.state.event.IStateEventProvider

Packages that use IStateEventProvider

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

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

Subinterfaces of IStateEventProvider in edu.ksu.cis.projects.bogor.module

interface

IStateFactory A state factory interface.

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

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

class

DefaultStateFactory The default implementation of IStateFactory.

Uses of IStateEventProvider in edu.ksu.cis.projects.bogor.module.state.event

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

class

AbstractStateEventProvider