mCRL2
Loading...
Searching...
No Matches
print.h File Reference

Provides utilities for pretty printing. More...

Go to the source code of this file.

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::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.