mCRL2
Loading...
Searching...
No Matches
mcrl2::utilities::detail::transform_tool< Tool > Class Template Referenceabstract

#include <transform_tool.h>

Inheritance diagram for mcrl2::utilities::detail::transform_tool< Tool >:

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
 

Detailed Description

template<typename Tool>
class mcrl2::utilities::detail::transform_tool< Tool >

Definition at line 25 of file transform_tool.h.

Member Typedef Documentation

◆ super

template<typename Tool >
typedef Tool mcrl2::utilities::detail::transform_tool< Tool >::super
protected

Definition at line 28 of file transform_tool.h.

Constructor & Destructor Documentation

◆ transform_tool()

template<typename Tool >
mcrl2::utilities::detail::transform_tool< Tool >::transform_tool ( const std::string &  name,
const std::string &  author,
const std::string &  what_is,
const std::string &  tool_description,
std::string  known_issues = "" 
)
inline

Definition at line 60 of file transform_tool.h.

Member Function Documentation

◆ add_command()

template<typename Tool >
void mcrl2::utilities::detail::transform_tool< Tool >::add_command ( const std::shared_ptr< utilities::detail::command > &  command)
inlineprotected

Definition at line 52 of file transform_tool.h.

◆ add_commands()

template<typename Tool >
virtual void mcrl2::utilities::detail::transform_tool< Tool >::add_commands ( const std::vector< std::string > &  options)
protectedpure virtual

◆ add_options()

template<typename Tool >
void mcrl2::utilities::detail::transform_tool< Tool >::add_options ( utilities::interface_description &  desc)
inlineprotected

Definition at line 43 of file transform_tool.h.

◆ parse_options()

template<typename Tool >
void mcrl2::utilities::detail::transform_tool< Tool >::parse_options ( const utilities::command_line_parser &  parser)
inlineprotected

Definition at line 35 of file transform_tool.h.

◆ run()

template<typename Tool >
bool mcrl2::utilities::detail::transform_tool< Tool >::run ( )
inline

Definition at line 69 of file transform_tool.h.

Member Data Documentation

◆ algorithm_and_options

template<typename Tool >
std::string mcrl2::utilities::detail::transform_tool< Tool >::algorithm_and_options
protected

Definition at line 30 of file transform_tool.h.

◆ algorithm_number

template<typename Tool >
int mcrl2::utilities::detail::transform_tool< Tool >::algorithm_number = -1
protected

Definition at line 31 of file transform_tool.h.

◆ commands

template<typename Tool >
std::map<std::string, std::shared_ptr<utilities::detail::command> > mcrl2::utilities::detail::transform_tool< Tool >::commands
protected

Definition at line 33 of file transform_tool.h.

◆ print_algorithms

template<typename Tool >
bool mcrl2::utilities::detail::transform_tool< Tool >::print_algorithms = false
protected

Definition at line 32 of file transform_tool.h.


The documentation for this class was generated from the following file: