| Class | Description |
|---|---|
| BDDDialog |
This class provides a dialog to show a given BDD.
|
| BDDInformationPanelBuilder |
This class provides a builder which is used to create an
InformationPanel
for displaying information about BDDs. |
| ControlPanel |
This abstract class implements a panel for the invocation of different algorithms.
|
| ControlPanel.WorkerThread |
Abstract Worker Thread for the execution of algorithms controlled by the control panel.
|
| ControlPanelFactory |
This class implements a factory for the creation of
ControlPanel-objects for the
different algorithms of Raven. |
| CospanCreationDialog |
This class provides a dialog to create a new cospan.
|
| CospanDecompositionInformationPanelBuilder |
This class provides a builder which is used to create an
InformationPanel
for displaying information about cospan decompositions. |
| CospanInformationPanelBuilder |
This class provides a builder which is used to create an
InformationPanel
for displaying information about cospans. |
| CounterExampleWindow |
This class provides a window which is used to display the counterexamples
computed by the different universality and language inclusion algorithms.
|
| DataComboBox |
This class represents a drop-down menu which can be used to select a
Data object
from a list of various items. |
| DecompositionControlPanel |
This class implements a
ControlPanel for the invocation of the different graph
decomposition algorithms implemented in Raven. |
| DecompositionCreationDialog |
This class provides a dialog to create a new decomposition.
|
| DecompositionCreationDialog.SignatureDialog | |
| EmptinessControlPanel |
This class implements a
ControlPanel for the invocation of the different emptiness
checking algorithms implemented in Raven. |
| EncodingDialog |
This class provides a dialog to display the encoding information used for some automaton.
|
| GraphCreationDialog |
This class provides a dialog to create a new graph.
|
| GraphInformationPanelBuilder |
This class provides a builder which is used to create an
InformationPanel
for displaying information about graphs. |
| 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<T extends Data> |
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<T extends Data> |
This class provides an abstract builder which is used to to create a general
purpose
InformationPanel. |
| InvariantCheckingControlPanel |
This class implements a
ControlPanel for the invocation of the different invariant
checking algorithms implemented in Raven. |
| LanguageInclusionControlPanel |
This class implements a
ControlPanel for the invocation of the different language
inclusion checking algorithms implemented in Raven. |
| LoadAutomatonDialog |
This class provides a simple mechanism for the user to load an automaton file.
|
| LoadCospanDialog |
This class provides a simple mechanism for the user to load a cospan file.
|
| LoadDataDialog |
This class is the abstract base class for all
Data load dialogs. |
| LoadDecompositionDialog |
This class provides a simple mechanism for the user to load a decomposition file.
|
| LoadGraphDialog |
This class provides a simple mechanism for the user to load a graph file.
|
| LoadSignatureDialog |
This class provides a simple mechanism for the user to load a signature file.
|
| MainWindow |
This class provides the main window of Raven.
|
| MembershipControlPanel |
This class implements a
ControlPanel for the invocation of the different membership
checking algorithms implemented in Raven. |
| NewEdgeDialog |
This class provides a dialog to create a new edge for a given graph.
|
| NewEdgeDialog.EdgeData |
This class provides information about an edge which is to be added.
|
| PathDecompositionInformationPanelBuilder |
This class provides a builder which is used to create an
InformationPanel
for displaying information about path decompositions. |
| RavenDialog |
The main class for creating a Raven dialog window.
|
| RavenDirectoryFileSystemView |
This class provides a
FileSystemView which is able to create new folders. |
| RavenFileFilter |
This class provides a
FileFilter that filters the set of files shown
to the user based on the file name extension. |
| RavenProgressBarPanel |
This class provides a panel to create a progress bar with an additional label.
|
| RemoveEdgeDialog |
This class provides a dialog to select and remove an existing edge (and all incident nodes)
from a given graph.
|
| RepositoryTableModel |
This is an implementation of
TableModel that is used to display and
rename the Data objects contained in the Raven repository. |
| SaveAutomatonDialog |
This class provides a simple mechanism for the user to save an automaton to a file.
|
| SaveCospanDialog |
This class provides a simple mechanism for the user to save a cospan to a file.
|
| SaveDataDialog |
This class is the abstract base class for all
Data save dialogs. |
| SaveDecompositionDialog |
This class provides a simple mechanism for the user to save a decomposition to a file.
|
| SaveGraphDialog |
This class provides a simple mechanism for the user to save a graph to a file.
|
| SaveSignatureDialog |
This class provides a simple mechanism for the user to save a signature to a file.
|
| ShowVersionDialog |
Displays version info and Raven logo in a RavenDialog.
|
| SignatureCreationDialog |
This class provides a dialog to create a new signature.
|
| SignatureInformationPanelBuilder |
This class provides a builder which is used to create an
InformationPanel
for displaying information about signatures. |
| SimulationControlPanel |
This class implements a
ControlPanel for the invocation of the different simulation
computation algorithms implemented in Raven. |
| SplashScreenWithProgressBar |
This class is used to present the Raven splash screen while initializing the software.
|
| TechniquePanel |
This class provides a panel on which the user can choose and start the different
techniques, algorithms and goals provided by Raven.
|
| TreeDecompositionInformationPanelBuilder |
This class provides a builder which is used to create an
InformationPanel
for displaying information about tree decompositions. |
| UniversalityControlPanel |
This class implements a
ControlPanel for the invocation of the different universality
checking algorithms implemented in Raven. |
| Utilities |
A collection of utility methods for the graphical user interface of Raven
|
| VariablesAndPropertiesDialog |
Displays current variables and properties in a window and enables the user to
edit and create variables/properties.
|