|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
| LTLNode | Data structure to hold an LTL formula. |
| RENode | Data structure to hold a regular expression. |
| SEManager | Stores se-specs as Java bodies into env methods. |
| SpecNode | Data structure for recording ltl formula or regular expression. |
| SpecReader | |
| ThreadSpec | |
| TypeChecker | |
| UserSpec | Manages various data structures that play a role of symbol tables, records instantiations, definitions, specification propositions and checks their validity against unit specification. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||