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)