#include <command.h>
|
| command (const std::string &name_, const std::string &input_filename_, const std::string &output_filename_, const std::vector< std::string > &options_) |
|
virtual void | execute ()=0 |
|
virtual | ~command ()=default |
|
Definition at line 25 of file command.h.
◆ command()
mcrl2::utilities::detail::command::command |
( |
const std::string & |
name_, |
|
|
const std::string & |
input_filename_, |
|
|
const std::string & |
output_filename_, |
|
|
const std::vector< std::string > & |
options_ |
|
) |
| |
|
inline |
◆ ~command()
virtual mcrl2::utilities::detail::command::~command |
( |
| ) |
|
|
virtualdefault |
◆ execute()
virtual void mcrl2::utilities::detail::command::execute |
( |
| ) |
|
|
pure virtual |
◆ input_filename
const std::string& mcrl2::utilities::detail::command::input_filename |
◆ name
std::string mcrl2::utilities::detail::command::name |
◆ options
const std::vector<std::string>& mcrl2::utilities::detail::command::options |
◆ output_filename
const std::string& mcrl2::utilities::detail::command::output_filename |
The documentation for this struct was generated from the following file:
- utilities/include/mcrl2/utilities/detail/command.h