- satCount(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns the number of satisfying assignments to this BDD.
- save(StringWriter, BDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDFactory
-
Saves the BDD to a string.
- SAVE_AUTOMATON_ACTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Automaton Action Key
- SAVE_AUTOMATON_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Automaton Menu Key
- SAVE_BUTTON - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Indicating the ACCEPT button.
- SAVE_CANCEL_LAYOUT - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Indicating that an SAVE and a CANCEL BUTTON will be shown.
- SAVE_COSPAN_ACTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Cospan Action Key
- SAVE_COSPAN_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Cospan Menu Key
- SAVE_DECOMPOSITION_ACTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Decomposition Action Key
- SAVE_DECOMPOSITION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Decomposition Menu Key
- SAVE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
SAVE command description key
- SAVE_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The save file directory
- SAVE_GRAPH_ACTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Graph Action Key
- SAVE_GRAPH_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Graph Menu Key
- SAVE_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Save Icon Filename
- SAVE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Menu Key
- SAVE_LABEL - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Save Button Label (used for Testing)
- SAVE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Label Key
- SAVE_OPTION - Static variable in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Return value form class method if SAVE is chosen.
- SAVE_SIGNATURE_ACTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Signature Action Key
- SAVE_SIGNATURE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Save Signature Menu Key
- SaveAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles persistence of data from the repository.
- SaveAction(SaveAction.AutomatonPersistenceType, Automaton, String) - Constructor for class de.uni_due.inf.ti.raven.actions.SaveAction
-
Creates a new save action which saves the automaton automaton
to the file named by
filename
.
- SaveAction(SaveAction.GraphPersistenceType, Graph, String) - Constructor for class de.uni_due.inf.ti.raven.actions.SaveAction
-
Creates a new save action which saves the graph graph
as a gxl file named by
filename
.
- SaveAction(Cospan, String) - Constructor for class de.uni_due.inf.ti.raven.actions.SaveAction
-
Creates a new save action which saves the cospan cospan
as a cos file named by
filename
.
- SaveAction(Signature, String) - Constructor for class de.uni_due.inf.ti.raven.actions.SaveAction
-
Creates a new save action which saves the signature signature
to the file
named by filename
.
- SaveAction(CospanDecomposition, String) - Constructor for class de.uni_due.inf.ti.raven.actions.SaveAction
-
Creates a new save action which saves the decomposition decomp
to the file
named by filename
.
- SaveAction.AutomatonPersistenceType - Enum in de.uni_due.inf.ti.raven.actions
-
Enumeration of persistence types usable for automata.
- SaveAction.GraphPersistenceType - Enum in de.uni_due.inf.ti.raven.actions
-
Enumeration of persistence types usable for graphs.
- SaveAutomatonAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to save an existing automaton.
- SaveAutomatonAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.SaveAutomatonAction
-
Creates an Action
for saving an automaton.
- SaveAutomatonDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a simple mechanism for the user to save an automaton to a file.
- saveBDD(RavenBDD, ZipOutputStream, String) - Static method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Writes the BDD ravenBDD
to the stream zos
and saves it to the zip file
named name
.
- SaveButtonAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a popup menu on which the user can select the type of data to be saved.
- SaveButtonAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.SaveButtonAction
-
Creates an Action
for the addition of data to the repository.
- SaveCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the storage of data.
- SaveCospanAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to save an existing cospan.
- SaveCospanAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.SaveCospanAction
-
Creates an Action
for saving a graph.
- SaveCospanDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a simple mechanism for the user to save a cospan to a file.
- SaveDataDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class is the abstract base class for all Data
save dialogs.
- SaveDecompositionAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to save an existing decomposition.
- SaveDecompositionAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.SaveDecompositionAction
-
Creates an Action
for saving a decomposition.
- SaveDecompositionDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a simple mechanism for the user to save a decomposition to a file.
- SaveGraphAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to save an existing graph.
- SaveGraphAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.SaveGraphAction
-
Creates an Action
for saving a graph.
- SaveGraphDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a simple mechanism for the user to save a graph to a file.
- saveProperties() - Static method in class de.uni_due.inf.ti.raven.main.RavenMain
-
Save the properties in a file.
- SaveSignatureAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to save an existing signature.
- SaveSignatureAction(MainWindow) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.SaveSignatureAction
-
Creates an Action
for saving a signature.
- SaveSignatureDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a simple mechanism for the user to save a signature to a file.
- SAVING_ERROR_OCCURED - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- SCRIPT_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The script file directory
- SEARCH_TYPE_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- SEARCHTYPE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
SearchType Label Key
- SECOND_AUTOMATON_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Second Automaton Label Key
- SECOND_AUTOMATON_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- SECOND_ENCODING_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- SERIALIZATION_FILE_EXTENSION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The file extension for serialized object files
- set(RavenBDD, RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDPairing
-
Adds two BDDs as a pair to this BDD pairing.
- set(int[], int[]) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDPairing
-
Add the first int[] and the second int[] to this pairing.
- set(RavenBDDDomain, RavenBDDDomain) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDDPairing
-
Adds two BDD domains as a pair to this BDD pairing.
- SET_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
SET command description key
- SET_OF_LETTERS_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- setAction(int, Action) - Method in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Sets the action
for the specified button.
- setAdditionalData(T) - Method in class de.uni_due.inf.ti.raven.gui.automaton.AutomatonInformationPanel
-
Updates the components displaying the special information about the specific type of automaton.
- setColumnSpan(int, int, int) - Method in class de.uni_due.inf.ti.raven.io.TextTable
-
Spans a column span in the row row
ranging from from
to
to
(inclusive).
- SetCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the setting of command-line variables.
- setData(T) - Method in class de.uni_due.inf.ti.raven.gui.automaton.AutomatonInformationPanel
-
- setData(T) - Method in class de.uni_due.inf.ti.raven.gui.InformationPanel
-
Updates the components displaying information about data
.
- setEnabled(boolean) - Method in class de.uni_due.inf.ti.raven.gui.DecompositionControlPanel
-
- setEnabled(boolean) - Method in class de.uni_due.inf.ti.raven.gui.EmptinessControlPanel
-
- setEnabled(boolean) - Method in class de.uni_due.inf.ti.raven.gui.InvariantCheckingControlPanel
-
- setEnabled(boolean) - Method in class de.uni_due.inf.ti.raven.gui.LanguageInclusionControlPanel
-
- setEnabled(boolean) - Method in class de.uni_due.inf.ti.raven.gui.MembershipControlPanel
-
- setEnabled(boolean) - Method in class de.uni_due.inf.ti.raven.gui.SimulationControlPanel
-
- setEnabled(boolean) - Method in class de.uni_due.inf.ti.raven.gui.UniversalityControlPanel
-
- setHeaderSpan(int, int) - Method in class de.uni_due.inf.ti.raven.io.TextTable
-
Spans a column span in the header row ranging from from
to
to
(inclusive).
- setMainPane(JComponent) - Method in class de.uni_due.inf.ti.raven.gui.RavenDialog
-
Sets the dialog's main pane.
- setMaximizeViewButtonVisible(boolean) - Method in class de.uni_due.inf.ti.raven.gui.graphs.CospanView
-
Sets the maximize view button, which is used to maximize the displayed graph, visible/invisible.
- setMaximizeViewButtonVisible(boolean) - Method in class de.uni_due.inf.ti.raven.gui.graphs.GraphView
-
Sets the maximize view button, which is used to maximize the displayed graph, visible/invisible.
- setName(String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Sets the name of this graph
- setProperty(String, String) - Static method in class de.uni_due.inf.ti.raven.main.RavenMain
-
Sets the property name
to the value value
.
- setSaveButtonVisible(boolean) - Method in class de.uni_due.inf.ti.raven.gui.graphs.CospanView
-
Sets the save button, which is used to save the displayed graph, visible/invisible.
- setSaveButtonVisible(boolean) - Method in class de.uni_due.inf.ti.raven.gui.graphs.GraphView
-
Sets the save button, which is used to save the displayed graph, visible/invisible.
- setValueAt(Object, int, int) - Method in class de.uni_due.inf.ti.raven.gui.RepositoryTableModel
-
- setVertexStyle(String, String) - Method in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Sets the style of the mxCell
-object representing the vertex with the id
name
to the style given by style
.
- SHIFT_DOWN_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Shift-down Label Key
- SHIFT_LEFT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Shift-left Label Key
- SHIFT_RIGHT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Shift-right Label Key
- SHIFT_UP_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Shift-up Label Key
- shiftAutomaton(Automaton, CospanDecomposition) - Static method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Creates a new automaton which is shifted over the cospan decomposition decomposition
i.e. the initial states of the new automaton are states reachable by the original automaton
after processing the cospan decomposition decomposition
.
- ShiftAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new product automaton.
- ShiftAutomatonAction(Automaton, CospanDecomposition) - Constructor for class de.uni_due.inf.ti.raven.actions.ShiftAutomatonAction
-
Creates an action which constructs the product automaton for two given automata.
- ShiftAutomatonAction(Automaton, Cospan) - Constructor for class de.uni_due.inf.ti.raven.actions.ShiftAutomatonAction
-
Creates an action which constructs the product automaton for two given automata.
- SHOW_BDD_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Show BDD Label Key
- SHOW_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
SHOW command description key
- SHOW_ENCODING_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Show Encoding Label Key
- SHOW_RUN_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Show Run Label Key
- SHOW_SUBGRAPH_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Show Subgraph Label Key
- ShowCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the presentation of data.
- showConfirmDialog(Component, String, String, String...) - Static method in class de.uni_due.inf.ti.raven.gui.Utilities
-
Brings up a message dialog showing a information message.
- showCounterExampleChooser(CospanDecomposition, String) - Method in class de.uni_due.inf.ti.raven.gui.CounterExampleWindow
-
Shows the chosen element decomposition
in this window.
- showDecomposition(CospanDecomposition, String) - Method in class de.uni_due.inf.ti.raven.gui.GraphWindow
-
Shows the Decomposition decomposition
in this window.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.automaton.AutomatonCreationDialog
-
Shows the dialog for creation of new automata.
- showDialog(Window, Automaton, Operation) - Static method in class de.uni_due.inf.ti.raven.gui.BDDDialog
-
Shows the dialog for displaying BDDs which encode transitions of the automaton
automaton
for the letter letter
.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.CospanCreationDialog
-
Shows the dialog for the creation of new signatures.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.DecompositionCreationDialog
-
Shows the dialog for the creation of new decompositions.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.DecompositionCreationDialog.SignatureDialog
-
- showDialog(Window, BDDEncoding) - Static method in class de.uni_due.inf.ti.raven.gui.EncodingDialog
-
Shows the dialog for displaying encoding information.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.GraphCreationDialog
-
Shows the dialog for the creation of new signatures.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.LoadAutomatonDialog
-
Brings up a dialog to load automata into the repository.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.LoadCospanDialog
-
Brings up a dialog to load graphs into the repository.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.LoadDecompositionDialog
-
Brings up a dialog to load decompositions into the repository.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.LoadGraphDialog
-
Brings up a dialog to load graphs into the repository.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.LoadSignatureDialog
-
Brings up a dialog to load signatures into the repository.
- showDialog(Window, Graph, List<Node>) - Static method in class de.uni_due.inf.ti.raven.gui.NewEdgeDialog
-
Brings up a new dialog on which the user can enter the name and the label
and select the incident nodes of the new edge.
- showDialog(Window, Graph) - Static method in class de.uni_due.inf.ti.raven.gui.NewEdgeDialog
-
Brings up a new dialog on which the user can enter the name and the label
and select the incident nodes of the new edge.
- showDialog(Window, Graph) - Static method in class de.uni_due.inf.ti.raven.gui.RemoveEdgeDialog
-
Brings up a new dialog on which the user can enter the name and the label
and select the incident nodes of the new edge.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.SaveAutomatonDialog
-
Brings up a dialog to save automata from the repository.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.SaveCospanDialog
-
Brings up a dialog to save graphs from the repository.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.SaveDecompositionDialog
-
Brings up a dialog to save decompositions from the repository.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.SaveGraphDialog
-
Brings up a dialog to save graphs from the repository.
- showDialog(Window, FileFilter...) - Static method in class de.uni_due.inf.ti.raven.gui.SaveGraphDialog
-
Brings up a dialog to save graphs from the repository to file types depending on the given
file filters.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.SaveSignatureDialog
-
Brings up a dialog to save signatures from the repository.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.ShowVersionDialog
-
Brings up the version dialog.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.SignatureCreationDialog
-
Shows the dialog for the creation of new signatures.
- showDialog(Window) - Static method in class de.uni_due.inf.ti.raven.gui.VariablesAndPropertiesDialog
-
Brings up the dialog to display, add, edit and remove the variables and properties.
- showErrorMessage(Component, String, String, String...) - Static method in class de.uni_due.inf.ti.raven.gui.Utilities
-
Brings up a message dialog showing a error message.
- showGraph(String) - Method in class de.uni_due.inf.ti.raven.gui.GraphWindow
-
Shows the graph with the name name
in this window.
- showInformationMessage(Component, String, String, String...) - Static method in class de.uni_due.inf.ti.raven.gui.Utilities
-
Brings up a message dialog showing a information message.
- showRuleCounterExampleChooser(CospanDecomposition, CospanDecomposition, String) - Method in class de.uni_due.inf.ti.raven.gui.CounterExampleWindow
-
Shows the chosen element decomposition
in this window.
- showRun(Automaton, CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.gui.GraphWindow
-
Shows the run of the automaton automaton
on the cospan decomposition decomposition
.
- showTwoGraphs(Graph, Graph, String) - Method in class de.uni_due.inf.ti.raven.gui.GraphWindow
-
Shows the two graphs left
and right
in split view side-by-side.
- ShowVersionDialog - Class in de.uni_due.inf.ti.raven.gui
-
Displays version info and Raven logo in a RavenDialog.
- showWarningMessage(Component, String, String, String...) - Static method in class de.uni_due.inf.ti.raven.gui.Utilities
-
Brings up a message dialog showing a warning message.
- Signature - Class in de.uni_due.inf.ti.raven.data
-
This class implements a signature which is used to define the
alphabet of an automaton.
- Signature() - Constructor for class de.uni_due.inf.ti.raven.data.Signature
-
Creates a new empty signature.
- Signature(Signature) - Constructor for class de.uni_due.inf.ti.raven.data.Signature
-
Creates a new signature by copying all letters of the signature signature
.
- Signature.Type - Enum in de.uni_due.inf.ti.raven.data
-
Enumeration of the different types of implemented signatures.
- SIGNATURE_ADDED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Signature Added Text Key
- SIGNATURE_ADDED_MESSAGE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- SIGNATURE_CREATION_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- SIGNATURE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
SIGNATURE command description key
- SIGNATURE_FILE_EXTENSION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The file extension for Signature files
- SIGNATURE_FILE_EXTENSION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Signature File Extension Key
- SIGNATURE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Signature Text Key
- SIGNATURE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Signature Label Key
- SIGNATURE_LOAD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- SIGNATURE_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- SIGNATURE_NAME_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Automaton Name Label Key
- SIGNATURE_NOT_FOUND_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Signature Not Found Text Key
- SIGNATURE_SAVE_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- SIGNATURE_SAVE_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The signature save file directory
- SIGNATURE_SAVED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Signature Saved Text Key
- SIGNATURE_SAVED_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- SIGNATURE_SAVED_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- SIGNATURE_SELECTION_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- SignatureAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new signature.
- SignatureAction(String, Set<Operation>) - Constructor for class de.uni_due.inf.ti.raven.actions.SignatureAction
-
Creates a new Action
to define a new signature with the name name
and all
Operation
objects contained in the set operationSet
.
- SignatureCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the creation of signatures.
- SignatureCreationDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a dialog to create a new signature.
- SignatureFilePrinter - Class in de.uni_due.inf.ti.raven.io
-
This class provides operations for writing signatures to files.
- SignatureFileReader - Class in de.uni_due.inf.ti.raven.io
-
This class provides operation for reading signatures from files.
- SignatureInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a builder which is used to create an InformationPanel
for displaying information about signatures.
- SignaturePrinter - Interface in de.uni_due.inf.ti.raven.io
-
This interface offers methods to print signatures.
- SignatureReader - Interface in de.uni_due.inf.ti.raven.io
-
This interface provides methods for reading signatures.
- SIMULATION_CREATED_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- SIMULATION_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
SIMULATION command description key
- SIMULATION_ITERATION_STEP - Static variable in interface de.uni_due.inf.ti.raven.algorithms.SimulationAlgorithm
-
Simulation Iteration Step Counter String Literal
- SIMULATION_NOT_CREATED_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- SimulationAlgorithm - Interface in de.uni_due.inf.ti.raven.algorithms
-
The algorithm interface for the computation of the simulation relation.
- SimulationAlgorithm.Implementations - Enum in de.uni_due.inf.ti.raven.algorithms
-
An enumeration of implementations of this algorithm.
- SimulationAntichainInvariantChecking - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the two antichain algorithms for checking invariants.
- SimulationAntichainInvariantChecking(Algorithm.SearchType, boolean) - Constructor for class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainInvariantChecking
-
Creates a new instance of the simulation-based invariant checking algorithm.
- SimulationAntichainInvariantCheckingAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the simulation-based antichain invariant check.
- SimulationAntichainInvariantCheckingAction(Algorithm.SearchType, boolean, Automaton, CospanDecomposition, CospanDecomposition) - Constructor for class de.uni_due.inf.ti.raven.actions.SimulationAntichainInvariantCheckingAction
-
Creates a new Action
to execute the simulation-based invariant check for the
automaton automaton
and the left- resp. right-hand side leftHandSide
and
rightHandSide
.
- SimulationAntichainLanguageInclusion - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the two simulation-based antichain algorithms deciding
the language inclusion problem for (finite) automata.
- SimulationAntichainLanguageInclusion(Algorithm.SearchType, boolean) - Constructor for class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainLanguageInclusion
-
Creates a new instance of the antichain-based language inclusion
algorithm.
- SimulationAntichainLanguageInclusion(Algorithm.SearchType, Algorithm.OrderingType) - Constructor for class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainLanguageInclusion
-
Creates a new instance of the antichain-based language inclusion algorithm.
- SimulationAntichainLanguageInclusionAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the simulation-based antichain language inclusion check.
- SimulationAntichainLanguageInclusionAction(Algorithm.SearchType, boolean, Automaton, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.SimulationAntichainLanguageInclusionAction
-
Creates a new Action
to execute the antichain-based language inclusion check for the
two automata firstAutomaton
and secondAutomaton
.
- SimulationAntichainUniversality - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the two simulation-based antichain algorithms deciding
the universality problem for (finite) automata.
- SimulationAntichainUniversality(Algorithm.SearchType, Algorithm.OrderingType, boolean) - Constructor for class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainUniversality
-
Creates a new instance of the antichain-based universality algorithm.
- SimulationAntichainUniversality(Algorithm.SearchType, Algorithm.OrderingType) - Constructor for class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainUniversality
-
Creates a new instance of the antichain-based universality algorithm.
- SimulationAntichainUniversality(Algorithm.SearchType) - Constructor for class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainUniversality
-
Creates a new instance of the antichain-based universality algorithm.
- SimulationAntichainUniversalityAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the simulation-based antichain universality check.
- SimulationAntichainUniversalityAction(Algorithm.SearchType, boolean, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.SimulationAntichainUniversalityAction
-
Creates a new Action
to execute the antichain-based universality check for the
automaton automaton
.
- SimulationCheckingAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles computation of the simulation relation for automata.
- SimulationCheckingAction(RavenBDD, RavenBDD, RavenBDD) - Constructor for class de.uni_due.inf.ti.raven.actions.SimulationCheckingAction
-
Creates a new Action
to check for the automaton automaton
whether the
state set firstSet
is simulated by the state set secondSet
.
- SimulationCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the execution of simulation relation computation algorithms.
- SimulationComputationAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles computation of the simulation relation for automata.
- SimulationComputationAction(Algorithm.SearchType, Automaton, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.SimulationComputationAction
-
Creates a new Action
to compute the simulation relation for the automata
firstAutomaton
and secondAutomaton
- SimulationComputationAction(Automaton, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.SimulationComputationAction
-
Creates a new Action
to compute the simulation relation for the automata
firstAutomaton
and secondAutomaton
- SimulationComputationAction(Algorithm.SearchType, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.SimulationComputationAction
-
Creates a new Action
to compute the simulation relation for the automaton
automaton
- SimulationComputationAction(Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.SimulationComputationAction
-
Creates a new Action
to compute the simulation relation for the automaton
automaton
- SimulationControlPanel - Class in de.uni_due.inf.ti.raven.gui
-
This class implements a ControlPanel
for the invocation of the different simulation
computation algorithms implemented in Raven.
- SimulationControlPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.SimulationControlPanel
-
- size() - Method in class de.uni_due.inf.ti.raven.data.Signature
-
Returns the number of letter of this signature.
- SIZE_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Size Bit Label Key
- SLOPPY_MODE_SET_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Sloppy Mode Set Text Key
- SOURCE_NODE_RANGE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- SOURCE_NODE_SET_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- SOURCE_NODE_SIZE_MUST_NOT_BE_GREATER_THAN_INNER_INTERFACE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- SOURCE_NODES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Source Nodes Label Key
- SOURCE_PATH_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Source Path Bit Label Key
- SOURCE_PATH_BITS_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Source Path Bits Label Key
- SplashScreenWithProgressBar - Class in de.uni_due.inf.ti.raven.gui
-
This class is used to present the Raven splash screen while initializing the software.
- SplashScreenWithProgressBar(SplashScreen) - Constructor for class de.uni_due.inf.ti.raven.gui.SplashScreenWithProgressBar
-
Creates a new splash-screen which shows a progress bar at the bottom of the screen.
- startWorkerThread() - Method in class de.uni_due.inf.ti.raven.gui.ControlPanel
-
Registers the ComputationListener
and starts the currently set worker thread.
- STATES_FILE - Static variable in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
- STATES_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
States Text Key
- STATES_PRINTED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
States Printed Text Key
- STATUS_CODE_BUILDING_PARSER_FAILED - Static variable in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Status code if the building of the parser failed
- STATUS_CODE_DOWNLOAD_CORRUPTED - Static variable in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Status code if the download was corrupted
- STATUS_CODE_FAILED_FOR_UNKNOWN_REASON - Static variable in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Status code if the download failed for an unknown reason
- STATUS_CODE_IOERROR_OCCURRED - Static variable in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Status code if the download URL was not valid
- STATUS_CODE_NO_UPDATE_AVAILABLE - Static variable in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Status code if no update is available
- STATUS_CODE_SUCCESS - Static variable in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Status code if the download was successful
- STATUS_CODE_UPDATE_AVAILABLE - Static variable in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Status code if a new update is available
- STATUS_CODE_UPDATE_FILES_NOT_FOUND - Static variable in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Status code if the update files could not be found
- STATUS_CODE_UPDATE_LOCATION_INVALID - Static variable in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Status code if the download location is invalid/malformed
- STATUS_CODE_UPDATE_SCHEMA_FILE_CORRUPTED - Static variable in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Status code if the schema file has been corrupted
- STATUS_CODE_UPDATE_SCHEMA_FILE_NOT_FOUND - Static variable in class de.uni_due.inf.ti.raven.main.RavenUpdater
-
Status code if the schema file has not been found
- stmt() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- stmt(int) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Stmt_listContext
-
- stmt() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Stmt_listContext
-
- stmt_list() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.GraphContext
-
- stmt_list() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- stmt_list() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphContext
-
- STOP_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Stop Icon Filename
- stopWorkerThread() - Method in class de.uni_due.inf.ti.raven.gui.ControlPanel
-
Stops the currently executed worker thread, if it is executed.
- STRICT - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- STRICT() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.GraphContext
-
- STRICT - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- STRING - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- STRING() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.IdContext
-
- STRING - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- SUBGRAPH - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- subgraph() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Edge_stmtContext
-
- subgraph() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeRHSContext
-
- subgraph(int) - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.EdgeRHSContext
-
- SUBGRAPH - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- subgraph() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- SUBGRAPH() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphContext
-
- subgraph() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.SubgraphStatementContext
-
- SUBGRAPH_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Subgraph Label Key
- SubgraphAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting the language of all graphs which contain a
specific graph as subgraph.
- SubgraphAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new subgraph automaton.
- SubgraphAutomatonAction(int, int, int, Signature, Graph) - Constructor for class de.uni_due.inf.ti.raven.actions.SubgraphAutomatonAction
-
Creates a new Action
to create a new subgraph automaton with maximum interface size
maximumInterface
over the signature signature
and the wanted subgraph
subgraph
using the default subgraph encoding.
- SubgraphAutomatonAction(int, int, int, Signature, Graph, String) - Constructor for class de.uni_due.inf.ti.raven.actions.SubgraphAutomatonAction
-
Creates a new Action
to create a new subgraph automaton with maximum interface size
maximumInterface
over the signature signature
and the wanted subgraph
subgraph
using the subgraph encoding named by encodingName
.
- SubgraphAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel
for creating a new SubgraphAutomaton
.
- SubgraphAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.SubgraphAutomatonCreationPanel
-
- SubgraphAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel
for displaying information about subgraph graph
automata.
- SubgraphEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class represents the encoding of state space and the transition functions of subgraph
automata and provides methods to access the encoding.
- SubgraphEncodingVisualizer - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a Display
to visualize Subgraph encodings.
- SubgraphEncodingVisualizer() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.SubgraphEncodingVisualizer
-
- SUCCESSOR_INTERFACE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Successor Label Key
- SVG_FILE_EXTENSION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The file extension for graph files
- SVG_FILE_EXTENSION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
SVG File Extension Label Key
- SVGWriter - Class in de.uni_due.inf.ti.raven.io
-
Writes a cospan or graph to a SVG file.
- SVGWriter() - Constructor for class de.uni_due.inf.ti.raven.io.SVGWriter
-