|
||||||||||
| 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 | |||||||||