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)

bool mcrl2::data::detail::look_through_numeric_casts(const data_expression &x, std::function<bool(const data_expression&)> f)