mcrl2/data/print.h

Include file:

#include "mcrl2/data/print.h"

Provides utilities for pretty printing.

Classes

  • mcrl2::data::detail::printer::get_sort_default
  • mcrl2::data::detail::printer
  • mcrl2::data::stream_printer

Functions

bool mcrl2::data::is_left_associative(const data_expression &x)
bool mcrl2::data::is_right_associative(const data_expression &x)
std::string mcrl2::data::pp(const T &x)

Returns a string representation of the object x.

int precedence(const data_expression &x)
int mcrl2::data::precedence(const application &x)
constexpr int mcrl2::data::precedence(const forall&)
constexpr int mcrl2::data::precedence(const exists&)
constexpr int mcrl2::data::precedence(const lambda&)
constexpr int mcrl2::data::precedence(const set_comprehension&)
constexpr int mcrl2::data::precedence(const bag_comprehension&)
constexpr int mcrl2::data::precedence(const where_clause&)

Functions

bool mcrl2::data::detail::is_and(const application &x)
bool mcrl2::data::detail::is_bag_difference(const application &x)
bool mcrl2::data::detail::is_bag_intersection(const application &x)
bool mcrl2::data::detail::is_bag_join(const application &x)
bool mcrl2::data::detail::is_concat(const application &x)
bool mcrl2::data::detail::is_cons(const application &x)
bool mcrl2::data::detail::is_cons_list(data_expression x)
bool mcrl2::data::detail::is_div(const application &x)
bool mcrl2::data::detail::is_divides(const application &x)
bool mcrl2::data::detail::is_divmod(const application &x)
bool mcrl2::data::detail::is_element_at(const application &x)
bool mcrl2::data::detail::is_equal_to(const application &x)
bool mcrl2::data::detail::is_greater(const application &x)
bool mcrl2::data::detail::is_greater_equal(const application &x)
bool mcrl2::data::detail::is_implies(const application &x)
bool mcrl2::data::detail::is_in(const application &x)
bool mcrl2::data::detail::is_less(const application &x)
bool mcrl2::data::detail::is_less_equal(const application &x)
bool mcrl2::data::detail::is_minus(const application &x)
bool mcrl2::data::detail::is_mod(const application &x)
bool mcrl2::data::detail::is_not_equal_to(const application &x)
bool mcrl2::data::detail::is_numeric_cast(const data_expression &x)
bool mcrl2::data::detail::is_or(const application &x)
bool mcrl2::data::detail::is_plus(const application &x)
bool mcrl2::data::detail::is_set_difference(const application &x)
bool mcrl2::data::detail::is_set_intersection(const application &x)
bool mcrl2::data::detail::is_set_union(const application &x)
bool mcrl2::data::detail::is_snoc(const application &x)
bool mcrl2::data::detail::is_snoc_list(data_expression x)
bool mcrl2::data::detail::is_times(const application &x)
data_expression mcrl2::data::detail::remove_numeric_casts(data_expression x)