Loading...
Searching...
No Matches
mcrl2::lps::detail::lps_rewriter_command Struct Reference
PBES command that uses a rewrite strategy. More...
#include <lps_command.h>
Inheritance diagram for mcrl2::lps::detail::lps_rewriter_command:
Public Member Functions | |
| lps_rewriter_command (const std::string &name, const std::string &input_filename, const std::string &output_filename, const std::vector< std::string > &options, data::rewrite_strategy strategy_) | |
 Public Member Functions inherited from 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) | |
| 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 | |
| data::rewrite_strategy | strategy |
| Public Attributes inherited from mcrl2::lps::detail::lps_command | |
| 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
PBES command that uses a rewrite strategy.
Definition at line 44 of file lps_command.h.
Constructor & Destructor Documentation
◆ lps_rewriter_command()
|
inline |
Definition at line 48 of file lps_command.h.
Member Data Documentation
◆ strategy
| data::rewrite_strategy mcrl2::lps::detail::lps_rewriter_command::strategy |
Definition at line 46 of file lps_command.h.
The documentation for this struct was generated from the following file:
- lps/include/mcrl2/lps/detail/lps_command.h
