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