Provides utilities for pretty printing. More...

Classes
struct	mcrl2::data::detail::printer< Derived >

struct	mcrl2::data::detail::printer< Derived >::get_sort_default

struct	mcrl2::data::stream_printer
	Prints the object x to a stream. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::data
	Namespace for all data library functionality.

namespace	mcrl2::data::detail

Functions
bool	mcrl2::data::detail::is_one (const data_expression &x)

bool	mcrl2::data::detail::is_numeric_cast (const data_expression &x)

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

bool	mcrl2::data::detail::head_matches_undefined_symbol (const data_expression &x, const core::identifier_string &s)

bool	mcrl2::data::detail::is_plus (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_div (const application &x)

bool	mcrl2::data::detail::is_divmod (const application &x)

bool	mcrl2::data::detail::is_divides (const application &x)

bool	mcrl2::data::detail::is_implies (const application &x)

bool	mcrl2::data::detail::is_set_union (const application &x)

bool	mcrl2::data::detail::is_set_difference (const application &x)

bool	mcrl2::data::detail::is_bag_join (const application &x)

bool	mcrl2::data::detail::is_bag_difference (const application &x)

bool	mcrl2::data::detail::is_and (const application &x)

bool	mcrl2::data::detail::is_or (const application &x)

bool	mcrl2::data::detail::is_equal_to (const application &x)

bool	mcrl2::data::detail::is_not_equal_to (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_greater (const application &x)

bool	mcrl2::data::detail::is_greater_equal (const application &x)

bool	mcrl2::data::detail::is_in (const application &x)

bool	mcrl2::data::detail::is_times (const application &x)

bool	mcrl2::data::detail::is_element_at (const application &x)

bool	mcrl2::data::detail::is_set_intersection (const application &x)

bool	mcrl2::data::detail::is_bag_intersection (const application &x)

bool	mcrl2::data::detail::is_concat (const application &x)

bool	mcrl2::data::detail::is_cons_list (data_expression x)

bool	mcrl2::data::detail::is_snoc_list (data_expression x)

bool	mcrl2::data::detail::is_cons (const application &x)

bool	mcrl2::data::detail::is_snoc (const application &x)

int	mcrl2::data::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 &)

bool	mcrl2::data::is_left_associative (const data_expression &x)

bool	mcrl2::data::is_right_associative (const data_expression &x)

template<typename T >
std::string	mcrl2::data::pp (const T &x)
	Returns a string representation of the object x.

Detailed Description

Provides utilities for pretty printing.

Definition in file print.h.

Classes

Namespaces

Functions

Detailed Description