mcrl2::process::detail::linear_process_conversion_traverser::non_linear_process Struct Reference

Exception that is thrown to denote that the process is not linear. More...

#include <linear_process_conversion_traverser.h>

Public Member Functions
	non_linear_process (const process_expression &p)

Public Attributes
process_expression	expr

Detailed Description

Exception that is thrown to denote that the process is not linear.

Definition at line 66 of file linear_process_conversion_traverser.h.

Constructor & Destructor Documentation

non_linear_process()

mcrl2::process::detail::linear_process_conversion_traverser::non_linear_process::non_linear_process ( const process_expression &  p )

inline

Definition at line 70 of file linear_process_conversion_traverser.h.

Member Data Documentation

expr

process_expression mcrl2::process::detail::linear_process_conversion_traverser::non_linear_process::expr

Definition at line 68 of file linear_process_conversion_traverser.h.

---

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

• lps/include/mcrl2/lps/detail/linear_process_conversion_traverser.h