A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ 

S

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
 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _