| BuchiStore |
This class provides methods for interacting with Büchi Store. |
| Entry |
An entry is a record containing an automaton, its equivalent formula,
and a description.
|
| EntryCellRender |
This is a cell render for repository entries.
|
| EntryLengthComparator |
This class defines a comparator which sorts a list of entries by the length
of the formula.
|
| EntryLexiOrderComparator |
This class defines a comparator which sorts entries by the lexical order of
the formulae.
|
| LocalEntry |
An LocalEntry object represents an entry in a local repository.
|
| RemoteEntry |
A RemoteEntry describes an automaton in Büchi Store.
|
| Repository |
This class defines a list model which can be used in a JList for
further repository manipulation.
|