mcrl2::pres_system::empty_parameter_selection Struct Reference

Exception that is used to signal an empty parameter selection. More...

#include <presinst_finite_algorithm.h>

Inheritance diagram for mcrl2::pres_system::empty_parameter_selection:

Public Member Functions
	empty_parameter_selection (const std::string &msg)
Public Member Functions inherited from mcrl2::runtime_error
	runtime_error (const std::string &message)
	Constructor.

Detailed Description

Exception that is used to signal an empty parameter selection.

Definition at line 81 of file presinst_finite_algorithm.h.

Constructor & Destructor Documentation

empty_parameter_selection()

mcrl2::pres_system::empty_parameter_selection::empty_parameter_selection ( const std::string &  msg )

inlineexplicit

Definition at line 83 of file presinst_finite_algorithm.h.

---

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

• pres/include/mcrl2/pres/presinst_finite_algorithm.h