mCRL2
Loading...
Searching...
No Matches
normalize_sorts.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::normalize_sorts (T &x, const data::sort_specification &sortspec, typename std::enable_if< !std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
 
template<typename T >
mcrl2::process::normalize_sorts (const T &x, const data::sort_specification &sortspec, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
 

Detailed Description

add your file description here.

Definition in file normalize_sorts.h.