| Class | Description |
|---|---|
| AddCommand |
Console command to handle the addition of operations in decomposition mode.
|
| AliasCommand |
This class is the (abstract) super class for all alias commands.
|
| AutomatonCommand |
Console command to handle the creation of (graph) automata.
|
| Command |
Represents the abstract super class of all console commands.
|
| Console |
This class implements a command-line interface and a command-line interpreter for Raven.
|
| ConsoleMessages |
This class provides the keys for the various CLI messages which can be obtained from
the underlying resource bundles.
|
| DecomposeCommand |
Handles decomposition of graphs.
|
| DefineCommand |
Console command to handle the definition of graphs or decompositions.
|
| DeleteCommand |
Console command to handle the removal of data from the repository.
|
| EdgeCommand |
Console command to handle the addition of edges in cospan/graph mode.
|
| EmptinessCommand |
Console command to handle the execution of the universality check algorithms.
|
| EndCommand |
Console command to handle the termination of decomposition or graph mode.
|
| ExitCommand |
Console command to handle the termination of Raven.
|
| HelpCommand |
Console command to handle the presentation of additional help information.
|
| InfoCommand |
Console command to handle the presentation of informations.
|
| InnerInterfaceCommand |
Console command to handle the addition of nodes to the inner interface in
cospan definition mode.
|
| InvariantCommand |
Console command to handle the execution of invariant checking algorithms.
|
| LanguageInclusionCommand |
Console command to handle the execution of language inclusion
algorithms.
|
| LoadCommand |
Console command to handle the loading of data.
|
| MembershipCommand |
Console command to handle the execution of membership check algorithms.
|
| NodeCommand |
Console command to handle the addition of nodes in cospan/graph mode.
|
| OuterInterfaceCommand |
Console command to handle the addition of nodes to the outer interface in
cospan definition mode.
|
| PrintCommand |
Console command to handle the printout of data from the repository.
|
| PrintDotCommand |
Console command to handle the printout of BDDs or graphs in DOT-format.
|
| QuitCommand |
Console command to handle the termination of Raven.
|
| ReachabilityCommand |
Console command to handle the execution of reachability algorithms.
|
| RemoveCommand |
Console command to handle the removal of data from the repository.
|
| RenameCommand |
Console command to handle the rename of data of the repository.
|
| RepositoryCommand |
Console command to handle the presentation of the repository.
|
| RunCommand |
Console command to handle the execution of command-line scripts.
|
| SaveCommand |
Console command to handle the storage of data.
|
| SetCommand |
Console command to handle the setting of command-line variables.
|
| ShowCommand |
Console command to handle the presentation of data.
|
| SignatureCommand |
Console command to handle the creation of signatures.
|
| SimulationCommand |
Console command to handle the execution of simulation relation computation algorithms.
|
| TestCommand | |
| UniversalityCommand |
Console command to handle the execution of the universality check
algorithms.
|
| UpdateCommand |
Handles the update process of Raven, i.e. looking whether new updates are available
and if so coordinating the download.
|