Package | Description |
---|---|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
Modifier and Type | Class and Description |
---|---|
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 |
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.
|