Class: Stamina::Command

Inherits:

Object

• Object
• Stamina::Command

Defined in:

lib/stamina-core/stamina/command.rb,
lib/stamina-core/stamina/command/run.rb,
lib/stamina-core/stamina/command/help.rb,
lib/stamina-core/stamina/command/adl2dot.rb,
lib/stamina-core/stamina/command/robustness.rb

Overview

Stamina - A Ruby Automaton & Induction Toolkit

SYNOPSIS

#{program_name} [--version] [--help] COMMAND [cmd opts] ARGS...

OPTIONS #summarized_options

COMMANDS #summarized_subcommands

See ‘#program_name help COMMAND’ for more information on a specific command.

Defined Under Namespace

Modules: Robustness Classes: Adl2dot, Help, Run