mcrl2/process/print.h

Include file:

#include "mcrl2/process/print.h"

add your file description here.

Classes

  • mcrl2::process::detail::printer
  • mcrl2::process::stream_printer

Functions

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)
std::string mcrl2::process::pp(const T &x)

Returns a string representation of the object x.

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)