Package org.svvrl.goal.gui.repo
-
Class Summary Class Description Automaton2Image This class provides methods for drawing automata offline.BuchiStoreBrowser This class provides a browser for displaying automata and formulae in Büchi Store.BuchiStoreUploader This is a dialog for uploading the active Büchi automaton to Büchi store.RepositoryDialog ARepositoryDialog
displays automata in system-defined and user-defined local repository.RepositoryInput This is a dialog for inserting a user-defined repository entry.