mCRL2
Loading...
Searching...
No Matches
Public Member Functions | List of all members
mcrl2::runtime_error Class Reference

Standard exception class for reporting runtime errors. More...

#include <exception.h>

Inheritance diagram for mcrl2::runtime_error:
mcrl2::command_line_error mcrl2::core::parse_node_exception mcrl2::data::enumerator_error mcrl2::pbes_system::empty_parameter_selection mcrl2::pres_system::empty_parameter_selection mcrl2::process::detail::linear_process_expression_traverser::non_linear_process_error mcrl2::core::parse_node_unexpected_exception

Public Member Functions

 runtime_error (const std::string &message)
 Constructor.
 

Detailed Description

Standard exception class for reporting runtime errors.

Definition at line 26 of file exception.h.

Constructor & Destructor Documentation

◆ runtime_error()

mcrl2::runtime_error::runtime_error ( const std::string &  message)
inline

Constructor.

Parameters
[in]messagethe exception message

Definition at line 31 of file exception.h.

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