Package | Description |
---|---|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
de.uni_due.inf.ti.raven.gui.actions |
Classes used to invoke the different actions of the graphical user interface, e.g. load actions,
save action, ...
|
de.uni_due.inf.ti.raven.gui.automaton |
Classes which provide (visual) forms either used to collect information required to create the
several graph automata or used to present information about existing graph automata.
|
Class and Description |
---|
ControlPanel
This abstract class implements a panel for the invocation of different algorithms.
|
CounterExampleWindow
This class provides a window which is used to display the counterexamples
computed by the different universality and language inclusion algorithms.
|
DecompositionControlPanel
This class implements a
ControlPanel for the invocation of the different graph
decomposition algorithms implemented in Raven. |
GraphWindow
This class provides a window which is used to display a single graph.
|
GuiMessages
This class provides the keys for the various GUI messages which can be obtained from
the underlying resource bundles.
|
InformationPanel
This abstract class is the base class for panels which are used for displaying
information about the several
Data objects created by the user. |
InformationPanelBuilder
This class provides an abstract builder which is used to to create a general
purpose
InformationPanel . |
LoadDataDialog
This class is the abstract base class for all
Data load dialogs. |
MainWindow
This class provides the main window of Raven.
|
NewEdgeDialog.EdgeData
This class provides information about an edge which is to be added.
|
RavenDialog
The main class for creating a Raven dialog window.
|
SaveDataDialog
This class is the abstract base class for all
Data save dialogs. |
Class and Description |
---|
MainWindow
This class provides the main window of Raven.
|
Class and Description |
---|
InformationPanel
This abstract class is the base class for panels which are used for displaying
information about the several
Data objects created by the user. |
InformationPanelBuilder
This class provides an abstract builder which is used to to create a general
purpose
InformationPanel . |
RavenDialog
The main class for creating a Raven dialog window.
|