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 imp&)
bool mcrl2::pbes_system::is_left_associative(const or_&)
bool mcrl2::pbes_system::is_left_associative(const and_&)
bool mcrl2::pbes_system::is_left_associative(const pbes_expression &x)
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 and_&)
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 forall&)
constexpr int mcrl2::pbes_system::precedence(const exists&)
constexpr int mcrl2::pbes_system::precedence(const imp&)
constexpr int mcrl2::pbes_system::precedence(const or_&)
constexpr int mcrl2::pbes_system::precedence(const and_&)
constexpr int mcrl2::pbes_system::precedence(const not_&)
int mcrl2::pbes_system::precedence(const pbes_expression &x)