- UNION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Subgraph Label Key
- UnionAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting the language which is obtained by the
union of the languages of the two underlying graph automata.
- UnionAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new union automaton.
- UnionAutomatonAction(Automaton, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.UnionAutomatonAction
-
Creates an action which constructs the union automaton for two given automata.
- UnionAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel
for creating a new UnionAutomaton
.
- UnionAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.UnionAutomatonCreationPanel
-
- UnionAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel
for displaying information about union graph
automata.
- UnionEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for union automata.
- UNIVERSALITY_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
UNIVERSALITY command description key
- UNIVERSALITY_DOES_HOLD - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UNIVERSALITY_DOES_HOLD_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- UNIVERSALITY_DOES_HOLD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- UNIVERSALITY_DOES_NOT_HOLD - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UNIVERSALITY_DOES_NOT_HOLD_DIALOG_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- UNIVERSALITY_DOES_NOT_HOLD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- UNIVERSALITY_ITERATION_STEP - Static variable in interface de.uni_due.inf.ti.raven.algorithms.UniversalityAlgorithm
-
Universality Iteration Step Counter String Literal
- UniversalityAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the universality check.
- UniversalityAction() - Constructor for class de.uni_due.inf.ti.raven.actions.UniversalityAction
-
- UniversalityAlgorithm - Interface in de.uni_due.inf.ti.raven.algorithms
-
The algorithm interface for solving the universality problem.
- UniversalityAlgorithm.Implementations - Enum in de.uni_due.inf.ti.raven.algorithms
-
An enumeration of implementations of this algorithm.
- UniversalityCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the execution of the universality check
algorithms.
- UniversalityControlPanel - Class in de.uni_due.inf.ti.raven.gui
-
This class implements a ControlPanel
for the invocation of the different universality
checking algorithms implemented in Raven.
- UniversalityControlPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.UniversalityControlPanel
-
- UNKNOWN_COMMAND_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Unknown command description key
- UNKNOWN_DATA_ADDED_MESSAGE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- UNKNOWN_NODE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UNKNOWN_VARIABLE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Unknown Variable description key
- update(float) - Method in class de.uni_due.inf.ti.raven.gui.SplashScreenWithProgressBar
-
Fills the progress bar with a rectangle which's size corresponds to 'progress'.
- UPDATE_AVAILABLE - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UPDATE_AVAILABLE_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Update Available Dialog Text Key
- UPDATE_AVAILABLE_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Update Available Dialog Title Key
- UPDATE_BUILD_PARSER_FAILED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UPDATE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
UPDATE command description key
- UPDATE_DOWNLOAD_WAS_CORRUPTED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UPDATE_ERROR_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Update Error Exception Text Key
- UPDATE_ERROR_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Update Error Exception Title Key
- UPDATE_FAILED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UPDATE_FILES_NOT_FOUND_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UPDATE_INFORMATION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Update Information Label Key
- UPDATE_IOERROR_OCCURRED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UPDATE_LOCATION_INVALID_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UPDATE_MENU_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Update Menu Key
- UPDATE_PROPERTY_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- UPDATE_SCHEMA_FILE_CORRUPTED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UPDATE_SCHEMA_FILE_NOT_FOUND_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UPDATE_SUCCESSFUL - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- UpdateAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Checks whether a new version exists and if so asks the user if the update shall be executed.
- UpdateAction() - Constructor for class de.uni_due.inf.ti.raven.gui.actions.UpdateAction
-
Creates an Action
for updating Raven.
- updateAvailable() - Static method in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Checks whether updates for Raven are available.
- UpdateCommand - Class in de.uni_due.inf.ti.raven.cli
-
Handles the update process of Raven, i.e. looking whether new updates are available
and if so coordinating the download.
- Utilities - Class in de.uni_due.inf.ti.raven.gui
-
A collection of utility methods for the graphical user interface of Raven