mcrl2/pbes/print.h¶

Include file:

#include "mcrl2/pbes/print.h"

add your file description here.

Classes¶

mcrl2::pbes_system::detail::printer
mcrl2::pbes_system::stream_printer

Functions¶

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

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

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

bool mcrl2::pbes_system::is_left_associative(const pbes_expression &x)¶

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

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

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

bool mcrl2::pbes_system::is_right_associative(const pbes_expression &x)¶

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

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

constexpr int mcrl2::pbes_system::precedence(const exists&)¶

constexpr int mcrl2::pbes_system::precedence(const forall&)¶

constexpr int mcrl2::pbes_system::precedence(const imp&)¶

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

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

int mcrl2::pbes_system::precedence(const pbes_expression &x)¶