|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| CLI | Command Line Interface object, to the org.tigris.mbt package. |
| CLI.VerboseStatisticsLogger | |
| ExtendedFiniteStateMachine | |
| FiniteStateMachine | |
| Keywords | Handles the common constants for the org.tigris.mbt package. |
| ModelBasedTesting | The object handles the test case generation, both online and offline. |
| Util | This class has some utility functionality used by org.tigris.mbt
The functionality is: * Getting names with extra info for vertices and edges * Setting up the logger for classes |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||