mcrl2::process::detail::linear_process_expression_traverser::non_linear_process_error Struct Reference

Exception that is thrown by linear_process_expression_traverser. More...

#include <is_linear.h>

Inheritance diagram for mcrl2::process::detail::linear_process_expression_traverser::non_linear_process_error:

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

Detailed Description

Exception that is thrown by linear_process_expression_traverser.

Definition at line 177 of file is_linear.h.

Constructor & Destructor Documentation

non_linear_process_error()

mcrl2::process::detail::linear_process_expression_traverser::non_linear_process_error::non_linear_process_error ( const std::string &  msg )

inlineexplicit

Definition at line 179 of file is_linear.h.

---

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

• process/include/mcrl2/process/is_linear.h