| AuthorBean |
This class corresponds to the authors in Büchi Store.
|
| AutomatonBean |
This class corresponds to the automata in Büchi Store.
|
| AutomatonTypeBean |
This class corresponds to the automaton types in Büchi Store.
|
| BuchiStore |
This class provides methods for interacting with Büchi Store. |
| DescriptionBean |
This class corresponds to the descriptions in Büchi Store.
|
| DeterministicBean |
This class corresponds to the classification results based semantically
determinism.
|
| FormulaBean |
This class corresponds to the formulae in Büchi Store.
|
| LanguageBean |
This class corresponds to the language classes in Büchi Store.
|
| LogBean |
This class corresponds to the logs of Büchi Store.
|
| SpecPatternBean |
This class corresponds to the classes of Spec Patterns in Büchi Store.
|
| TemporalHierarchyBean |
This class corresponds to the classes of the temporal hierarchy in Büchi
Store.
|