mCRL2
|
#include <transform_tool.h>
Public Member Functions | |
transform_tool (const std::string &name, const std::string &author, const std::string &what_is, const std::string &tool_description, std::string known_issues="") | |
bool | run () |
Protected Types | |
typedef Tool | super |
Protected Member Functions | |
void | parse_options (const utilities::command_line_parser &parser) |
void | add_options (utilities::interface_description &desc) |
void | add_command (const std::shared_ptr< utilities::detail::command > &command) |
virtual void | add_commands (const std::vector< std::string > &options)=0 |
Protected Attributes | |
std::string | algorithm_and_options |
int | algorithm_number = -1 |
bool | print_algorithms = false |
std::map< std::string, std::shared_ptr< utilities::detail::command > > | commands |
Definition at line 25 of file transform_tool.h.
|
protected |
Definition at line 28 of file transform_tool.h.
|
inline |
Definition at line 60 of file transform_tool.h.
|
inlineprotected |
Definition at line 52 of file transform_tool.h.
|
protectedpure virtual |
|
inlineprotected |
Definition at line 43 of file transform_tool.h.
|
inlineprotected |
Definition at line 35 of file transform_tool.h.
|
inline |
Definition at line 69 of file transform_tool.h.
|
protected |
Definition at line 30 of file transform_tool.h.
|
protected |
Definition at line 31 of file transform_tool.h.
|
protected |
Definition at line 33 of file transform_tool.h.
|
protected |
Definition at line 32 of file transform_tool.h.