- RANDOMGRAPH_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
RANDOMGRAPH command description key
- RAVEN_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Raven Icon File
- RAVEN_LOGO_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Raven Logo Filename
- RAVEN_MANUAL_FILE_NAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
- RAVEN_SCRIPT_FILE_EXTENSION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The file extension for raven script files
- RAVEN_SCRIPT_FILE_EXTENSION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Raven Script File Extension Key
- RAVEN_SCRIPT_FILE_FILTER - Static variable in class de.uni_due.inf.ti.raven.gui.RavenFileFilter
-
Raven Script File Filter
- RAVEN_SCRIPT_FILES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Raven Script Files Label Key
- RAVEN_UPDATE_FILE - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
Raven Update Description File
- RAVEN_UPDATE_SCHEMA_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
Raven Update XML Schema validation file
- RAVEN_UPDATE_URLS - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
Raven Update Mirrors
- RavenBDD - Class in de.uni_due.inf.ti.raven.data.bdd
-
This class implements a BDD abstraction layer for the BDD implementation.
- RavenBDD.Type - Enum in de.uni_due.inf.ti.raven.data.bdd
-
Enumeration of the different types of implemented BDDs.
- RavenBDDDomain - Class in de.uni_due.inf.ti.raven.data.bdd
-
This class implements a BDD abstraction layer for the BDD Domain implementation.
- RavenBDDFactory - Class in de.uni_due.inf.ti.raven.data.bdd
-
This class implements a BDD abstraction layer for the BDD Factory implementation.
- RavenBDDFactory.BDDOperator - Enum in de.uni_due.inf.ti.raven.data.bdd
-
Enumeration of the different BDD operations.
- RavenBDDPairing - Class in de.uni_due.inf.ti.raven.data.bdd
-
This class implements a BDD abstraction layer for the BDD Pairing implementation.
- RavenDialog - Class in de.uni_due.inf.ti.raven.gui
-
The main class for creating a Raven dialog window.
- RavenDirectoryFileSystemView - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a FileSystemView which is able to create new folders.
- RavenDirectoryFileSystemView(File, File) - Constructor for class de.uni_due.inf.ti.raven.gui.RavenDirectoryFileSystemView
-
Creates a new FileSystemView with the directory given by rootDirectory as
root directory and defaultDirectory as default directory.
- RavenExceptionMessages - Class in de.uni_due.inf.ti.raven.messages
-
This class provides exception messages which should only be displayed to developers.
- RavenFileFilter - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a FileFilter that filters the set of files shown
to the user based on the file name extension.
- RavenLoggingHandler - Class in de.uni_due.inf.ti.raven.main
-
This class provides a logging handler for Raven which is intended to log all
Raven events to a specified OutputStream.
- RavenLoggingHandler() - Constructor for class de.uni_due.inf.ti.raven.main.RavenLoggingHandler
-
Creates a new logging handler which uses the default system output stream and a default formatter.
- RavenLoggingHandler(OutputStream) - Constructor for class de.uni_due.inf.ti.raven.main.RavenLoggingHandler
-
Creates a new logging handler which uses output stream out and a default formatter.
- RavenLoggingHandler(OutputStream, Formatter) - Constructor for class de.uni_due.inf.ti.raven.main.RavenLoggingHandler
-
/**
Creates a new logging handler which uses output stream out and the formatter
formatter.
- RavenMain - Class in de.uni_due.inf.ti.raven.main
-
This class is the starting point for Raven.
- RavenMain() - Constructor for class de.uni_due.inf.ti.raven.main.RavenMain
-
- RavenPrinter - Interface in de.uni_due.inf.ti.raven.io
-
This interface provides methods for printing different types of Raven data
structures.
- RavenProgressBarPanel - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a panel to create a progress bar with an additional label.
- RavenProgressBarPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.RavenProgressBarPanel
-
Creates a new progress bar panel.
- RavenReader - Interface in de.uni_due.inf.ti.raven.io
-
This interface is the basis for all readers implemented in Raven.
- RavenUpdater - Class in de.uni_due.inf.ti.raven.main
-
This class provides an update mechanism for Raven.
- REACHABILITY_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
REACHABILITY command description key
- ReachabilityAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles the computation of the reachables states of an automaton.
- ReachabilityAction(Automaton, CospanDecomposition) - Constructor for class de.uni_due.inf.ti.raven.actions.ReachabilityAction
-
Creates an action which computes all states for the automaton automaton which are
reachable by processing the cospan decomposition decomposition.
- ReachabilityCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the execution of reachability algorithms.
- read(String) - Static method in class de.uni_due.inf.ti.raven.io.SignatureFileReader
-
Reads a signature from the file given by the filename filename.
- read() - Method in interface de.uni_due.inf.ti.raven.io.SignatureReader
-
Reads the signature from the source.
- read() - Method in class de.uni_due.inf.ti.raven.io.TextfieldInputStream
-
- readAutomaton(String) - Method in class de.uni_due.inf.ti.raven.io.AutomatonFileReader
-
- readAutomaton(String) - Method in interface de.uni_due.inf.ti.raven.io.AutomatonReader
-
Reads an automaton from the given zip archive, puts it into the
repository and returns it.
- readAutomatonFromZip(String) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Restores all transient attributes of the automaton.
- readCospan(String) - Static method in class de.uni_due.inf.ti.raven.io.GXLReader
-
Reads a cospan from a GXL file and returns it.
- readGraph(String) - Static method in class de.uni_due.inf.ti.raven.io.GXLReader
-
Reads a graph from a GXL file and returns it.
- readLine() - Method in class de.uni_due.inf.ti.raven.io.CommandReader
-
- readOperations(File) - Static method in class de.uni_due.inf.ti.raven.io.OperationFileReader
-
Reads an operation file file and returns the cospan decomposition obtained from
the operation list.
- readOperations(String) - Static method in class de.uni_due.inf.ti.raven.io.OperationFileReader
-
Reads an operation file specified by the filename filename and returns
the cospan decomposition obtained from the operation list.
- READY_FOR_COMPUTATION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Ready for Computation Label Key
- RED - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Red Color Index
- REMAINDER_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Remainder Bit Label Key
- REMAINDER_BITS_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Remainder Bits Label Key
- REMAINDER_EDGES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Remainder Label Key
- REMAINDER_GREATER_OR_EQUAL_THAN_DIVISOR_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- REMAINDER_LESS_THAN_ZERO_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- REMAINDER_VERTICES_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Remainder Label Key
- remove(String) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Removes the object with the name name
from the repository
- REMOVE_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
REMOVE command description key
- REMOVE_EDGE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Remove Edge Label Key
- REMOVE_FROM_REPOSITORY_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Remove from Repository Label Key
- REMOVE_NODE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Remove Node Label Key
- RemoveAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles removal of data from the the repository.
- RemoveAction(String) - Constructor for class de.uni_due.inf.ti.raven.actions.RemoveAction
-
Creates a new remove action which removes an object from the repository.
- RemoveCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the removal of data from the repository.
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.AddToRepositoryAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.ColorabilityAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.ComputationAction
-
Removes the Computation Listener l from this action.
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.CospanDecomposeAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.CreateRandomGraphAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.DominatingSetAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.EdgeCountingAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.EmptinessCheckAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.InvariantCheckingAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LanguageInclusionAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LibTWAllStartLexBFSAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LibTWGreedyDegreeAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LibTWGreedyFillInAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LibTWLexBFSAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.LinkAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.MaximumEdgeAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.MaximumVertexAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.MembershipAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.MinimumEdgeAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.MinimumVertexAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.NoIsolatedNodesAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.PathAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.ProductAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.RemoveAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.ShiftAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.SimulationComputationAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.SubgraphAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.UnionAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.UniversalityAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.VertexCountingAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.actions.VertexCoverAutomatonAction
-
- removeComputationListener(ComputationListener) - Method in interface de.uni_due.inf.ti.raven.algorithms.Algorithm
-
Removes the Computation Listener l from this algorithm.
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainInvariantChecking
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainLanguageInclusion
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.AntichainUniversality
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.BackwardEmptinessCheck
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.BackwardSimulationAlgorithm
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceInvariantChecking
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageEquivalence
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageInclusion
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.DefaultCospanDecompositionAlgorithm
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.DefaultMembershipAlgorithm
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.ForwardEmptinessCheck
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.ForwardSimulationAlgorithm
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.IdentityRelationAlgorithm
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.LibTWAlgorithm
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.LibTWNGraphToGraphAlgorithm
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainInvariantChecking
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainLanguageInclusion
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.algorithms.SimulationAntichainUniversality
-
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Remove the Computation Listener l from this automaton.
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.data.automata.AutomatonFactory
-
Removes the Computation Listener l from this algorithm.
- removeComputationListener(ComputationListener) - Method in class de.uni_due.inf.ti.raven.gui.ControlPanel
-
Removes the computation listener listener from the underlying control panel.
- removeEdge(Edge) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Removes the edge edge from this graph.
- removeEdge(String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Removes the edge with the name edgeName from this graph.
- RemoveEdgeDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a dialog to select and remove an existing edge (and all incident nodes)
from a given graph.
- RemoveFromRepositoryAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Handles the deletion of a Data object from the repository.
- RemoveFromRepositoryAction(JTable, RavenPrinter) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.RemoveFromRepositoryAction
-
Creates an Action for the removal of data from the repository.
- removeNode(Node) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Removes the node node from this graph.
- removeNode(String) - Method in class de.uni_due.inf.ti.raven.data.Graph
-
Removes the node with the name nodeName from this graph.
- removeProperty(String) - Static method in class de.uni_due.inf.ti.raven.main.RavenMain
-
Removes the property name.
- removeSelectionListener(mxEventSource.mxIEventListener) - Method in class de.uni_due.inf.ti.raven.gui.automaton.AutomatonRunView
-
Removes the selection listener listener from the list of listeners.
- rename(String, String) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Renames an existing data object with the name name to replacement.
- RENAME_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
RENAME command description key
- RENAME_NOT_SUCCESSFULL_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- RENAME_NOT_SUCCESSFULL_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- RenameAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles renaming of data from the the repository.
- RenameAction(String, String) - Constructor for class de.uni_due.inf.ti.raven.actions.RenameAction
-
Creates a new renaming action which renames an object from the repository.
- RenameCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the rename of data of the repository.
- replace(RavenBDDPairing) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Replaces the BDD nodes according to the given BDD pairing.
- REPLACEMENT_NAME_MUST_NOT_BE_EMPTY_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- REPLACEMENT_NAME_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- Repository - Class in de.uni_due.inf.ti.raven.data
-
This class implements an in-memory database which is used to store the
Data objects available in Raven.
- REPOSITORY_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
REPOSITORY command description key
- REPOSITORY_MENU_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Repository Menu Key
- REPOSITORY_PANEL_LABEL - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- RepositoryCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the presentation of the repository.
- RepositoryListener - Interface in de.uni_due.inf.ti.raven.data
-
The listener interface for receiving repository events.
- RepositoryTableModel - Class in de.uni_due.inf.ti.raven.gui
-
This is an implementation of TableModel that is used to display and
rename the Data objects contained in the Raven repository.
- RepositoryTableModel() - Constructor for class de.uni_due.inf.ti.raven.gui.RepositoryTableModel
-
- RES_DIR - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The resource file directory
- RES_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The Res Operation Token
- RES_TOKEN - Static variable in class de.uni_due.inf.ti.raven.data.Operation
-
The RES Operation Token
- restart() - Static method in class de.uni_due.inf.ti.raven.main.RavenMain
-
Restarts Raven.
- restrict(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Restricts the BDD according to the given BDD.
- RHS_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- RIGHT_HAND_DECOMPOSITION_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Right Hand-Side Decomposition Label Key
- RIGHT_HAND_SIDE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Right Hand-Side Text Key
- RULE_a_list - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_attr_list - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_attr_stmt - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_edge_stmt - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_edgeop - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_edgeRHS - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_graph - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_id - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_node_id - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_node_stmt - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_port - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_stmt - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_stmt_list - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RULE_subgraph - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- RuleCounterExample - Class in de.uni_due.inf.ti.raven.data
-
A wrapper class for cospan decompositions that are used to give two
graphs with the same context as a counter-example for an algorithm
- RuleCounterExample(CospanDecomposition, CospanDecomposition, CospanDecomposition) - Constructor for class de.uni_due.inf.ti.raven.data.RuleCounterExample
-
Creates a new rule counter-example
- ruleNames - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- ruleNames - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- run() - Method in class de.uni_due.inf.ti.raven.cli.Console.ProgressThread
-
- run() - Method in class de.uni_due.inf.ti.raven.cli.Console
-
- run() - Method in class de.uni_due.inf.ti.raven.gui.SplashScreenWithProgressBar
-
- RUN_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
RUN command description key
- RUN_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Run Icon Filename
- RUN_MENU_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Run Menu Key
- runBatchFile(String) - Static method in class de.uni_due.inf.ti.raven.cli.Console
-
Executes the commands of the batch-file given by the filename filename.
- runBatchFile(String, RavenPrinter) - Static method in class de.uni_due.inf.ti.raven.cli.Console
-
Executes the commands of the batch-file given by the filename filename and uses
out as output stream.
- RunCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the execution of command-line scripts.
- RUNNING_SCRIPTS_IN_SCRIPT_MODE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Running Scripts In Script Mode Text Key
- RunPrinter - Interface in de.uni_due.inf.ti.raven.io
-
This interface offers methods to print the run of an automata on a cospan decomposition.
- RunScriptAction - Class in de.uni_due.inf.ti.raven.gui.actions
-
Brings up a dialog to load a Raven script file.
- RunScriptAction(Window, RavenPrinter) - Constructor for class de.uni_due.inf.ti.raven.gui.actions.RunScriptAction
-
Creates an Action for the run Raven scripts.