mCRL2
Loading...
Searching...
No Matches
mcrl2::utilities::detail::command Struct Referenceabstract

#include <command.h>

Inheritance diagram for mcrl2::utilities::detail::command:
mcrl2::lps::detail::lps_command mcrl2::pbes_system::detail::pbes_command mcrl2::process::detail::process_command mcrl2::lps::detail::lps_rewriter_command mcrl2::pbes_system::detail::pbes_rewriter_command mcrl2::process::detail::process_rewriter_command

Public Member Functions

 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
 

Public Attributes

std::string name
 
const std::string & input_filename
 
const std::string & output_filename
 
const std::vector< std::string > & options
 

Detailed Description

Definition at line 25 of file command.h.

Constructor & Destructor Documentation

◆ 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

Definition at line 32 of file command.h.

◆ ~command()

virtual mcrl2::utilities::detail::command::~command ( )
virtualdefault

Member Function Documentation

◆ execute()

virtual void mcrl2::utilities::detail::command::execute ( )
pure virtual

Member Data Documentation

◆ input_filename

const std::string& mcrl2::utilities::detail::command::input_filename

Definition at line 28 of file command.h.

◆ name

std::string mcrl2::utilities::detail::command::name

Definition at line 27 of file command.h.

◆ options

const std::vector<std::string>& mcrl2::utilities::detail::command::options

Definition at line 30 of file command.h.

◆ output_filename

const std::string& mcrl2::utilities::detail::command::output_filename

Definition at line 29 of file command.h.


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