mCRL2
Loading...
Searching...
No Matches
translate_user_notation.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::process
 The main namespace for the Process library.
 

Functions

template<typename T >
void mcrl2::process::translate_user_notation (T &x, typename std::enable_if< !std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
 
template<typename T >
mcrl2::process::translate_user_notation (const T &x, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
 

Detailed Description

add your file description here.

Definition in file translate_user_notation.h.