|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use edu.ksu.cis.projects.bogor.module.state | |
---|---|
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.event | |
edu.ksu.cis.projects.bogor.module.state | Provides for Bogor state. |
Classes in edu.ksu.cis.projects.bogor.module.state used by edu.ksu.cis.projects.bogor.module | |
---|---|
IState
An interface for a state. |
Classes in edu.ksu.cis.projects.bogor.module.state used by edu.ksu.cis.projects.bogor.module.backtrack | |
---|---|
IState
An interface for a state. |
Classes in edu.ksu.cis.projects.bogor.module.state used by edu.ksu.cis.projects.bogor.module.event | |
---|---|
IState
An interface for a state. |
Classes in edu.ksu.cis.projects.bogor.module.state used by edu.ksu.cis.projects.bogor.module.state | |
---|---|
DefaultThreadStore
A class that is used as a thread store. |
|
IState
An interface for a state. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |