mcrl2::lps::detail::lps_command Struct Reference

#include <lps_command.h>

Inheritance diagram for mcrl2::lps::detail::lps_command:

Public Member Functions
	lps_command (const std::string &name, const std::string &input_filename, const std::string &output_filename, const std::vector< std::string > &options)
void	execute ()
Public Member Functions inherited from 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_)
virtual void	execute ()=0
virtual	~command ()=default

Public Attributes
lps::specification	lpsspec
Public Attributes inherited from mcrl2::utilities::detail::command
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 lps_command.h.

Constructor & Destructor Documentation

lps_command()

mcrl2::lps::detail::lps_command::lps_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 29 of file lps_command.h.

Member Function Documentation

execute()

void mcrl2::lps::detail::lps_command::execute ( )

inlinevirtual

Implements mcrl2::utilities::detail::command.

Definition at line 37 of file lps_command.h.

Member Data Documentation

lpsspec

lps::specification mcrl2::lps::detail::lps_command::lpsspec

Definition at line 27 of file lps_command.h.

---

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

• lps/include/mcrl2/lps/detail/lps_command.h