pbessolve_tool Class Reference

#include <pbessolve.h>

Inheritance diagram for pbessolve_tool:

Public Member Functions
	pbessolve_tool (const std::string &toolname)
template<typename PbesInstAlgorithm >
void	run_algorithm (PbesInstAlgorithm &algorithm, pbes_system::pbes &pbesspec, structure_graph &G, const data::mutable_map_substitution<> &sigma)
bool	run () override
Public Member Functions inherited from mcrl2::utilities::tools::parallel_tool< rewriter_tool< pbes_input_tool< input_tool > > >
	parallel_tool (const std::string &name, const std::string &author, const std::string &what_is, const std::string &tool_description, std::string known_issues="")
	Constructor.
std::size_t	number_of_threads () const
	Returns the number of threads in this tool.

Protected Types
typedef parallel_tool< rewriter_tool< pbes_input_tool< input_tool > > >	super

Protected Member Functions
void	add_options (utilities::interface_description &desc) override
void	parse_options (const utilities::command_line_parser &parser) override
std::set< utilities::file_format >	available_input_formats () const override
Protected Member Functions inherited from mcrl2::utilities::tools::parallel_tool< rewriter_tool< pbes_input_tool< input_tool > > >
void	add_options (utilities::interface_description &desc)
	Add the –threads option to an interface description.
void	parse_options (const utilities::command_line_parser &parser)
	Parse non-standard options.

Protected Attributes
pbessolve_options	options
std::string	lpsfile
std::string	ltsfile
std::string	evidence_file
Protected Attributes inherited from mcrl2::utilities::tools::parallel_tool< rewriter_tool< pbes_input_tool< input_tool > > >
std::size_t	m_number_of_threads
	The number of threads in the parallel tool.

Detailed Description

Definition at line 44 of file pbessolve.h.

Member Typedef Documentation

super

typedef parallel_tool<rewriter_tool<pbes_input_tool<input_tool> > > pbessolve_tool::super

protected

Definition at line 48 of file pbessolve.h.

Constructor & Destructor Documentation

pbessolve_tool()

pbessolve_tool::pbessolve_tool ( const std::string &  toolname )

inline

Definition at line 217 of file pbessolve.h.

Member Function Documentation

add_options()

void pbessolve_tool::add_options ( utilities::interface_description &  desc )

inlineoverrideprotected

Definition at line 55 of file pbessolve.h.

available_input_formats()

std::set< utilities::file_format > pbessolve_tool::available_input_formats ( ) const

inlineoverrideprotected

Definition at line 211 of file pbessolve.h.

parse_options()

void pbessolve_tool::parse_options ( const utilities::command_line_parser &  parser )

inlineoverrideprotected

Definition at line 122 of file pbessolve.h.

run()

bool pbessolve_tool::run ( )

inlineoverride

Definition at line 301 of file pbessolve.h.

run_algorithm()

template<typename PbesInstAlgorithm >

void pbessolve_tool::run_algorithm ( PbesInstAlgorithm &  algorithm, pbes_system::pbes &  pbesspec, structure_graph &  G, const data::mutable_map_substitution<> &  sigma  )

inline

Definition at line 230 of file pbessolve.h.

Member Data Documentation

evidence_file

std::string pbessolve_tool::evidence_file

protected

Definition at line 53 of file pbessolve.h.

lpsfile

std::string pbessolve_tool::lpsfile

protected

Definition at line 51 of file pbessolve.h.

ltsfile

std::string pbessolve_tool::ltsfile

protected

Definition at line 52 of file pbessolve.h.

options

pbessolve_options pbessolve_tool::options

protected

Definition at line 50 of file pbessolve.h.

---

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

• pbes/include/mcrl2/pbes/tools/pbessolve.h