Package | Description |
---|---|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
CospanCreationDialog
This class provides a dialog to create a new cospan.
|
class |
DecompositionCreationDialog
This class provides a dialog to create a new decomposition.
|
static class |
DecompositionCreationDialog.SignatureDialog |
class |
EncodingDialog
This class provides a dialog to display the encoding information used for some automaton.
|
class |
GraphCreationDialog
This class provides a dialog to create a new graph.
|
class |
LoadAutomatonDialog
This class provides a simple mechanism for the user to load an automaton file.
|
class |
LoadCospanDialog
This class provides a simple mechanism for the user to load a cospan file.
|
class |
LoadDataDialog
This class is the abstract base class for all
Data load dialogs. |
class |
LoadDecompositionDialog
This class provides a simple mechanism for the user to load a decomposition file.
|
class |
LoadGraphDialog
This class provides a simple mechanism for the user to load a graph file.
|
class |
LoadSignatureDialog
This class provides a simple mechanism for the user to load a signature file.
|
class |
NewEdgeDialog
This class provides a dialog to create a new edge for a given graph.
|
class |
RemoveEdgeDialog
This class provides a dialog to select and remove an existing edge (and all incident nodes)
from a given graph.
|
class |
SaveAutomatonDialog
This class provides a simple mechanism for the user to save an automaton to a file.
|
class |
SaveCospanDialog
This class provides a simple mechanism for the user to save a cospan to a file.
|
class |
SaveDataDialog
This class is the abstract base class for all
Data save dialogs. |
class |
SaveDecompositionDialog
This class provides a simple mechanism for the user to save a decomposition to a file.
|
class |
SaveGraphDialog
This class provides a simple mechanism for the user to save a graph to a file.
|
class |
SaveSignatureDialog
This class provides a simple mechanism for the user to save a signature to a file.
|
class |
ShowVersionDialog
Displays version info and Raven logo in a RavenDialog.
|
class |
SignatureCreationDialog
This class provides a dialog to create a new signature.
|
class |
VariablesAndPropertiesDialog
Displays current variables and properties in a window and enables the user to
edit and create variables/properties.
|
Modifier and Type | Class and Description |
---|---|
class |
AutomatonCreationDialog
This class provides a dialog to create a new graph automaton.
|