Package | Description |
---|---|
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 |
---|
AutomatonCreationPanel
The
AutomatonCreationPanel is the abstract base class for the different creation panel. |
AutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about graph automata. |