mcrl2::bes::tools::pbes_rewriter_tool¶
Include file:
#include "mcrl2/bes/pbes_rewriter_tool.h
-
class
mcrl2::bes::tools::pbes_rewriter_tool¶ Base class for filter tools that use a pbes rewriter.
Protected attributes¶
-
pbes_system::pbes_rewriter_type
mcrl2::bes::tools::pbes_rewriter_tool::m_pbes_rewriter_type¶ The type of the pbes rewriter.
Protected member functions¶
-
void
add_options(utilities::interface_description &desc) Add options to an interface description. Also includes rewriter options.
Parameters:
- desc An interface description
-
virtual std::set<pbes_system::pbes_rewriter_type>
available_rewriters() const¶ Returns the types of rewriters that are available for this tool. Override this method to change the standard behavior.
Returns: The set { simplify, quantifier_all, quantifier_finite }
-
virtual pbes_system::pbes_rewriter_type
default_rewriter() const¶ Returns the default pbes rewriter. Override this method to change the standard behavior.
Returns: The string “simplify”
-
void
parse_options(const utilities::command_line_parser &parser) Parse non-standard options.
Parameters:
- parser A command line parser
Public member functions¶
-
pbes_rewriter_tool(const std::string &name, const std::string &author, const std::string &what_is, const std::string &tool_description, std::string known_issues = "")¶ Constructor.
Parameters:
- name The name of the tool
- author The author(s) of the tool
- what_is One-line “what is” description of the tool
- tool_description The description of the tool
- known_issues Known issues with the tool
-
pbes_system::pbes_rewriter_type
rewriter_type() const¶ Returns the rewriter type.
Returns: The rewriter type
-
virtual
~pbes_rewriter_tool() = default¶ Destructor.
