mcrl2::data::tools::prover_tool< Tool > Class Template Reference

Base class for tools that use a rewriter. More...

#include <prover_tool.h>

Inheritance diagram for mcrl2::data::tools::prover_tool< Tool >:

Public Member Functions
	prover_tool (const std::string &name, const std::string &author, const std::string &what_is, const std::string &tool_description, std::string known_issues="")
	Constructor.
smt_solver_type	solver_type () const
	Returns the rewrite strategy.

Protected Types
typedef mcrl2::data::detail::smt_solver_type	smt_solver_type

Protected Member Functions
void	add_options (utilities::interface_description &desc)
	Add options to an interface description. Also includes rewriter options.
void	parse_options (const utilities::command_line_parser &parser)
	Parse non-standard options.

Protected Attributes
smt_solver_type	m_solver_type
	The data rewriter strategy.

Detailed Description

template<typename Tool>
class mcrl2::data::tools::prover_tool< Tool >

Base class for tools that use a rewriter.

Definition at line 29 of file prover_tool.h.

Member Typedef Documentation

smt_solver_type

template<typename Tool >

typedef mcrl2::data::detail::smt_solver_type mcrl2::data::tools::prover_tool< Tool >::smt_solver_type

protected

Definition at line 32 of file prover_tool.h.

Constructor & Destructor Documentation

prover_tool()

template<typename Tool >

mcrl2::data::tools::prover_tool< Tool >::prover_tool ( const std::string &  name, const std::string &  author, const std::string &  what_is, const std::string &  tool_description, std::string  known_issues = ""  )

inline

Constructor.

Definition at line 67 of file prover_tool.h.

Member Function Documentation

add_options()

template<typename Tool >

void mcrl2::data::tools::prover_tool< Tool >::add_options ( utilities::interface_description &  desc )

inlineprotected

Add options to an interface description. Also includes rewriter options.

Parameters

desc	An interface description

Definition at line 40 of file prover_tool.h.

parse_options()

template<typename Tool >

void mcrl2::data::tools::prover_tool< Tool >::parse_options ( const utilities::command_line_parser &  parser )

inlineprotected

Parse non-standard options.

Parameters

parser

A command line parser

Definition at line 54 of file prover_tool.h.

solver_type()

template<typename Tool >

smt_solver_type mcrl2::data::tools::prover_tool< Tool >::solver_type ( ) const

inline

Returns the rewrite strategy.

Returns

The rewrite strategy

Definition at line 79 of file prover_tool.h.

Member Data Documentation

m_solver_type

template<typename Tool >

smt_solver_type mcrl2::data::tools::prover_tool< Tool >::m_solver_type

protected

The data rewriter strategy.

Definition at line 35 of file prover_tool.h.

---

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

• data/include/mcrl2/data/prover_tool.h