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 imp&)
bool mcrl2::bes::is_left_associative(const or_&)
bool mcrl2::bes::is_left_associative(const and_&)
bool mcrl2::bes::is_left_associative(const boolean_expression &x)
bool mcrl2::bes::is_right_associative(const imp&)
bool mcrl2::bes::is_right_associative(const or_&)
bool mcrl2::bes::is_right_associative(const and_&)
bool mcrl2::bes::is_right_associative(const boolean_expression &x)
constexpr int mcrl2::bes::precedence(const imp&)

Returns the precedence of boolean expressions.

constexpr int mcrl2::bes::precedence(const or_&)
constexpr int mcrl2::bes::precedence(const and_&)
constexpr int mcrl2::bes::precedence(const not_&)
int mcrl2::bes::precedence(const boolean_expression &x)