mcrl2/bes/print.h¶

Include file:

#include "mcrl2/bes/print.h"

add your file description here.

Classes¶

mcrl2::bes::detail::printer
mcrl2::bes::stream_printer

Functions¶

bool mcrl2::bes::is_left_associative(const and_&)¶

bool mcrl2::bes::is_left_associative(const boolean_expression &x)¶

bool mcrl2::bes::is_left_associative(const imp&)¶

bool mcrl2::bes::is_left_associative(const or_&)¶

bool mcrl2::bes::is_right_associative(const and_&)¶

bool mcrl2::bes::is_right_associative(const boolean_expression &x)¶

bool mcrl2::bes::is_right_associative(const imp&)¶

bool mcrl2::bes::is_right_associative(const or_&)¶

std::string pp(const T &x)¶: Returns a string representation of the object x.

constexpr int mcrl2::bes::precedence(const and_&)¶

int mcrl2::bes::precedence(const boolean_expression &x)¶

constexpr int mcrl2::bes::precedence(const imp&)¶: Returns the precedence of boolean expressions.

constexpr int mcrl2::bes::precedence(const not_&)¶

constexpr int mcrl2::bes::precedence(const or_&)¶