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

add your file description here. More...

Go to the source code of this file.

Classes

struct  mcrl2::process::detail::printer< Derived >
 
struct  mcrl2::process::stream_printer
 Prints the object x to a stream. More...
 

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

Functions

constexpr int mcrl2::process::precedence (const choice &)
 
constexpr int mcrl2::process::precedence (const sum &)
 
constexpr int mcrl2::process::precedence (const stochastic_operator &)
 
constexpr int mcrl2::process::precedence (const merge &)
 
constexpr int mcrl2::process::precedence (const left_merge &)
 
constexpr int mcrl2::process::precedence (const if_then &)
 
constexpr int mcrl2::process::precedence (const if_then_else &)
 
constexpr int mcrl2::process::precedence (const bounded_init &)
 
constexpr int mcrl2::process::precedence (const seq &)
 
constexpr int mcrl2::process::precedence (const at &)
 
constexpr int mcrl2::process::precedence (const sync &)
 
int mcrl2::process::precedence (const process_expression &x)
 
bool mcrl2::process::is_left_associative (const choice &)
 
bool mcrl2::process::is_left_associative (const merge &)
 
bool mcrl2::process::is_left_associative (const left_merge &)
 
bool mcrl2::process::is_left_associative (const bounded_init &)
 
bool mcrl2::process::is_left_associative (const seq &)
 
bool mcrl2::process::is_left_associative (const sync &)
 
bool mcrl2::process::is_left_associative (const process_expression &x)
 
bool mcrl2::process::is_right_associative (const choice &)
 
bool mcrl2::process::is_right_associative (const merge &)
 
bool mcrl2::process::is_right_associative (const left_merge &)
 
bool mcrl2::process::is_right_associative (const bounded_init &)
 
bool mcrl2::process::is_right_associative (const seq &)
 
bool mcrl2::process::is_right_associative (const sync &)
 
bool mcrl2::process::is_right_associative (const process_expression &x)
 
template<typename T >
std::string mcrl2::process::pp (const T &x)
 Returns a string representation of the object x.
 

Detailed Description

add your file description here.

Definition in file print.h.