mCRL2
Loading...
Searching...
No Matches
core.cpp File Reference

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::core
 
namespace  mcrl2::core::detail
 

Functions

std::string mcrl2::core::pp (const identifier_string &x)