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
    A RepositoryDialog displays automata in system-defined and user-defined local repository.
    RepositoryInput
    This is a dialog for inserting a user-defined repository entry.