#include <print.h>

Inheritance diagram for mcrl2::data::detail::printer< Derived >:

Classes
struct	get_sort_default

Public Types
typedef data::add_traverser_sort_expressions< core::detail::printer, Derived >	super

Public Types inherited from mcrl2::data::add_traverser_sort_expressions< core::detail::printer, Derived >
typedef core::detail::printer< Derived >	super

Public Member Functions
void	print_unary_data_operation (const application &x, const std::string &op)

void	print_binary_data_operation (const application &x, const data_expression &x1, const data_expression &x2, const std::string &op)

void	print_binary_data_operation (const application &x, const std::string &op)

bool	is_infix_operation (const application &x) const

core::identifier_string	generate_identifier (const std::string &prefix, const data_expression &context) const

template<typename Container >
void	print_container (const Container &container, int container_precedence=-1, const std::string &separator=", ", const std::string &open_bracket="(", const std::string &close_bracket=")")

template<typename Variable >
void	print_variable (const Variable &x, bool print_sort=false)

template<typename Container , typename SortAccessor >
void	print_sorted_declarations (const Container &container, bool print_sorts=true, bool join_sorts=true, bool maximally_shared=false, const std::string &opener="(", const std::string &closer=")", const std::string &separator=", ", SortAccessor get_sort=get_sort_default())

template<typename Container >
void	print_variables (const Container &container, bool print_sorts=true, bool join_sorts=true, bool maximally_shared=false, const std::string &opener="(", const std::string &closer=")", const std::string &separator=", ")

template<typename Container >
void	print_assignments (const Container &container, bool print_lhs=true, const std::string &opener="", const std::string &closer="", const std::string &separator=", ", const std::string &assignment_symbol=" = ")

template<typename T >
void	print_condition (const T &x, const std::string &arrow=" -> ")

template<typename Container >
void	print_sort_list (const Container &container, const std::string &opener="(", const std::string &closer=")", const std::string &separator=", ")

void	print_list_enumeration (const application &x)

void	print_set_enumeration (const application &x)

void	print_bag_enumeration (const application &x)

void	print_setbag_comprehension (const abstraction &x)

bool	is_abstraction_application (const application &x) const

bool	is_cons_list (data_expression x) const

bool	is_snoc_list (data_expression x) const

bool	is_fset_cons_list (data_expression x)

bool	is_fbag_cons_list (data_expression x)
	Returns true if x is a list composed of cons, insert and cinsert applications.

bool	is_numeric_expression (const application &x)

bool	is_standard_sort (const sort_expression &x)

bool	is_fset_true (const data_expression &x)

bool	is_fset_false (const data_expression &x)

bool	is_fset_lambda (const data_expression &x)

bool	is_fbag_zero (const data_expression &x)

bool	is_fbag_one (const data_expression &x)

bool	is_fbag_lambda (const data_expression &x)

void	print_cons_list (data_expression x)

void	print_snoc_list (data_expression x)

void	print_fset_cons_list (data_expression x)

void	print_fbag_zero (const data_expression &x)

void	print_fbag_one (const data_expression &x)

void	print_fbag_lambda (const data_expression &x)

void	print_fbag_default (const data_expression &x)

void	print_fbag_cons_list (data_expression x)

void	print_fset_true (const data_expression &x)

void	print_fset_false (const data_expression &x)

void	print_fset_lambda (const data_expression &x)

void	print_fset_set_operation (const data_expression &x, const std::string &op)

void	print_fset_default (const data_expression &x)

template<typename Abstraction >
void	print_abstraction (const Abstraction &x, const std::string &op)

void	print_function_application (const application &x)

void	apply (const std::pair< data_expression, data_expression > &x)

void	apply (const data::container_type &x)

void	apply (const data::assignment &x)

void	apply (const data::variable_list &x)

void	apply (const data::untyped_data_parameter &x)

void	apply (const data::untyped_identifier_assignment &x)

void	apply (const data::untyped_set_or_bag_comprehension_binder &x)

void	apply (const data::set_comprehension_binder &x)

void	apply (const data::bag_comprehension_binder &x)

void	apply (const data::forall_binder &x)

void	apply (const data::exists_binder &x)

void	apply (const data::lambda_binder &x)

void	apply (const data::structured_sort_constructor_argument &x)

void	apply (const data::structured_sort_constructor &x)

void	apply (const data::alias &x)

void	apply (const data::list_container &x)

void	apply (const data::set_container &x)

void	apply (const data::bag_container &x)

void	apply (const data::fset_container &x)

void	apply (const data::fbag_container &x)

void	apply (const data::basic_sort &x)

void	apply (const data::container_sort &x)

void	apply (const data::structured_sort &x)

void	apply (const data::function_sort &x)

void	apply (const data::untyped_sort &x)

void	apply (const data::untyped_possible_sorts &x)

void	apply (const data::untyped_sort_variable &x)

void	apply (const data::untyped_identifier &x)

void	apply (const data::variable &x)

void	apply (const data::function_symbol &x)

void	apply (const data::application &x)

void	apply (const machine_number &x)

void	apply (const data::where_clause &x)

void	apply (const data::forall &x)

void	apply (const data::exists &x)

void	apply (const data::lambda &x)

void	apply (const data::data_equation &x)

void	update_mappings (const data_equation &eqn, std::vector< variable > &variables, std::map< core::identifier_string, variable > &variable_map, std::set< core::identifier_string > &function_symbol_names)

bool	has_conflict (const data_equation &eqn, const std::map< core::identifier_string, variable > &variable_map)

template<typename Iter >
Iter	find_conflicting_equation (Iter first, Iter last, std::vector< variable > &variables)
	Searches in the range of equations [first, last) for the first equation that conflicts with one of the previous equations. We say that equation e1 conflicts with another equation e2 if their declared variables contain a variable with the same name and a different sort, or if a declared variable in e1 has the same name as a function symbol appearing in equation e2.

template<typename AliasContainer , typename SortContainer >
void	print_sort_declarations (const AliasContainer &aliases, const SortContainer &sorts, const std::string &opener="(", const std::string &closer=")", const std::string &separator=", ")

template<typename Container >
void	print_equations (const Container &equations, const data_specification &data_spec, const std::string &opener="(", const std::string &closer=")", const std::string &separator=", ")

void	apply (const data::data_specification &x)

void	apply (const data::abstraction &x)

Public Member Functions inherited from mcrl2::data::add_traverser_sort_expressions< core::detail::printer, Derived >
void	apply (const data::variable &x)

void	apply (const data::function_symbol &x)

void	apply (const data::application &x)

void	apply (const data::where_clause &x)

void	apply (const data::machine_number &x)

void	apply (const data::untyped_identifier &x)

void	apply (const data::assignment &x)

void	apply (const data::untyped_identifier_assignment &x)

void	apply (const data::basic_sort &x)

void	apply (const data::container_sort &x)

void	apply (const data::structured_sort &x)

void	apply (const data::function_sort &x)

void	apply (const data::untyped_sort &x)

void	apply (const data::untyped_possible_sorts &x)

void	apply (const data::untyped_sort_variable &x)

void	apply (const data::forall &x)

void	apply (const data::exists &x)

void	apply (const data::lambda &x)

void	apply (const data::set_comprehension &x)

void	apply (const data::bag_comprehension &x)

void	apply (const data::untyped_set_or_bag_comprehension &x)

void	apply (const data::structured_sort_constructor_argument &x)

void	apply (const data::structured_sort_constructor &x)

void	apply (const data::alias &x)

void	apply (const data::data_equation &x)

void	apply (const data::untyped_data_parameter &x)

void	apply (const data::data_expression &x)

void	apply (const data::assignment_expression &x)

void	apply (const data::sort_expression &x)

void	apply (const data::abstraction &x)

Detailed Description

template<typename Derived>
struct mcrl2::data::detail::printer< Derived >

Definition at line 448 of file print.h.

Member Typedef Documentation

◆ super

template<typename Derived >

typedef data::add_traverser_sort_expressions<core::detail::printer, Derived> mcrl2::data::detail::printer< Derived >::super

Definition at line 450 of file print.h.

Member Function Documentation

◆ apply() [1/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::abstraction & x )

inline

Definition at line 2495 of file print.h.

◆ apply() [2/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::alias & x )

inline

Definition at line 1391 of file print.h.

◆ apply() [3/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::application & x )

inline

Definition at line 1531 of file print.h.

◆ apply() [4/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::assignment & x )

inline

Definition at line 1296 of file print.h.

◆ apply() [5/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::bag_comprehension_binder & x )

inline

Definition at line 1342 of file print.h.

◆ apply() [6/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::bag_container & x )

inline

Definition at line 1414 of file print.h.

◆ apply() [7/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::basic_sort & x )

inline

Definition at line 1435 of file print.h.

◆ apply() [8/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::container_sort & x )

inline

Definition at line 1442 of file print.h.

◆ apply() [9/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::container_type & x )

inline

Definition at line 1270 of file print.h.

◆ apply() [10/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::data_equation & x )

inline

Definition at line 2344 of file print.h.

◆ apply() [11/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::data_specification & x )

inline

Definition at line 2484 of file print.h.

◆ apply() [12/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::exists & x )

inline

Definition at line 2334 of file print.h.

◆ apply() [13/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::exists_binder & x )

inline

Definition at line 1354 of file print.h.

◆ apply() [14/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::fbag_container & x )

inline

Definition at line 1428 of file print.h.

◆ apply() [15/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::forall & x )

inline

Definition at line 2329 of file print.h.

◆ apply() [16/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::forall_binder & x )

inline

Definition at line 1348 of file print.h.

◆ apply() [17/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::fset_container & x )

inline

Definition at line 1421 of file print.h.

◆ apply() [18/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::function_sort & x )

inline

Definition at line 1459 of file print.h.

◆ apply() [19/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::function_symbol & x )

inline

Definition at line 1505 of file print.h.

◆ apply() [20/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::lambda & x )

inline

Definition at line 2339 of file print.h.

◆ apply() [21/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::lambda_binder & x )

inline

Definition at line 1360 of file print.h.

◆ apply() [22/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::list_container & x )

inline

Definition at line 1400 of file print.h.

◆ apply() [23/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::set_comprehension_binder & x )

inline

Definition at line 1336 of file print.h.

◆ apply() [24/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::set_container & x )

inline

Definition at line 1407 of file print.h.

◆ apply() [25/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::structured_sort & x )

inline

Definition at line 1452 of file print.h.

◆ apply() [26/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::structured_sort_constructor & x )

inline

Definition at line 1378 of file print.h.

◆ apply() [27/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::structured_sort_constructor_argument & x )

inline

Definition at line 1366 of file print.h.

◆ apply() [28/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::untyped_data_parameter & x )

inline

Definition at line 1313 of file print.h.

◆ apply() [29/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::untyped_identifier & x )

inline

Definition at line 1491 of file print.h.

◆ apply() [30/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::untyped_identifier_assignment & x )

inline

Definition at line 1321 of file print.h.

◆ apply() [31/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::untyped_possible_sorts & x )

inline

Definition at line 1474 of file print.h.

◆ apply() [32/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::untyped_set_or_bag_comprehension_binder & x )

inline

Definition at line 1330 of file print.h.

◆ apply() [33/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::untyped_sort & x )

inline

Definition at line 1467 of file print.h.

◆ apply() [34/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::untyped_sort_variable & x )

inline

Definition at line 1483 of file print.h.

◆ apply() [35/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::variable & x )

inline

Definition at line 1498 of file print.h.

◆ apply() [36/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::variable_list & x )

inline

Definition at line 1306 of file print.h.

◆ apply() [37/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const data::where_clause & x )

inline

Definition at line 2311 of file print.h.

◆ apply() [38/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const machine_number & x )

inline

Definition at line 2306 of file print.h.

◆ apply() [39/39]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::apply ( const std::pair< data_expression, data_expression > & x )

inline

Definition at line 1262 of file print.h.

◆ find_conflicting_equation()

template<typename Derived >

template<typename Iter >

Iter mcrl2::data::detail::printer< Derived >::find_conflicting_equation	(	Iter	first,
		Iter	last,
		std::vector< variable > &	variables
	)

inline

Searches in the range of equations [first, last) for the first equation that conflicts with one of the previous equations. We say that equation e1 conflicts with another equation e2 if their declared variables contain a variable with the same name and a different sort, or if a declared variable in e1 has the same name as a function symbol appearing in equation e2.

Definition at line 2396 of file print.h.

◆ generate_identifier()

template<typename Derived >

core::identifier_string mcrl2::data::detail::printer< Derived >::generate_identifier	(	const std::string &	prefix,
		const data_expression &	context
	)		const

inline

Definition at line 535 of file print.h.

◆ has_conflict()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::has_conflict	(	const data_equation &	eqn,
		const std::map< core::identifier_string, variable > &	variable_map
	)

inline

Definition at line 2375 of file print.h.

◆ is_abstraction_application()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_abstraction_application ( const application & x ) const

inline

Definition at line 830 of file print.h.

◆ is_cons_list()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_cons_list ( data_expression x ) const

inline

Definition at line 835 of file print.h.

◆ is_fbag_cons_list()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_fbag_cons_list ( data_expression x )

inline

Returns true if x is a list composed of cons, insert and cinsert applications.

Definition at line 863 of file print.h.

◆ is_fbag_lambda()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_fbag_lambda ( const data_expression & x )

inline

Definition at line 914 of file print.h.

◆ is_fbag_one()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_fbag_one ( const data_expression & x )

inline

Definition at line 909 of file print.h.

◆ is_fbag_zero()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_fbag_zero ( const data_expression & x )

inline

Definition at line 904 of file print.h.

◆ is_fset_cons_list()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_fset_cons_list ( data_expression x )

inline

Definition at line 853 of file print.h.

◆ is_fset_false()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_fset_false ( const data_expression & x )

inline

Definition at line 894 of file print.h.

◆ is_fset_lambda()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_fset_lambda ( const data_expression & x )

inline

Definition at line 899 of file print.h.

◆ is_fset_true()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_fset_true ( const data_expression & x )

inline

Definition at line 889 of file print.h.

◆ is_infix_operation()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_infix_operation ( const application & x ) const

inline

Definition at line 483 of file print.h.

◆ is_numeric_expression()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_numeric_expression ( const application & x )

inline

Definition at line 872 of file print.h.

◆ is_snoc_list()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_snoc_list ( data_expression x ) const

inline

Definition at line 844 of file print.h.

◆ is_standard_sort()

template<typename Derived >

bool mcrl2::data::detail::printer< Derived >::is_standard_sort ( const sort_expression & x )

inline

Definition at line 880 of file print.h.

◆ print_abstraction()

template<typename Derived >

template<typename Abstraction >

void mcrl2::data::detail::printer< Derived >::print_abstraction	(	const Abstraction &	x,
		const std::string &	op
	)

inline

Definition at line 1182 of file print.h.

◆ print_assignments()

template<typename Derived >

template<typename Container >

void mcrl2::data::detail::printer< Derived >::print_assignments	(	const Container &	container,
		bool	print_lhs = `true`,
		const std::string &	opener = `""`,
		const std::string &	closer = `""`,
		const std::string &	separator = `", "`,
		const std::string &	assignment_symbol = `" = "`
	)

inline

Definition at line 719 of file print.h.

◆ print_bag_enumeration()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_bag_enumeration ( const application & x )

inline

Definition at line 804 of file print.h.

◆ print_binary_data_operation() [1/2]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_binary_data_operation	(	const application &	x,
		const data_expression &	x1,
		const data_expression &	x2,
		const std::string &	op
	)

inline

Definition at line 466 of file print.h.

◆ print_binary_data_operation() [2/2]

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_binary_data_operation	(	const application &	x,
		const std::string &	op
	)

inline

Definition at line 476 of file print.h.

◆ print_condition()

template<typename Derived >

template<typename T >

void mcrl2::data::detail::printer< Derived >::print_condition	(	const T &	x,
		const std::string &	arrow = `" -> "`
	)

inline

Definition at line 749 of file print.h.

◆ print_cons_list()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_cons_list ( data_expression x )

inline

Definition at line 919 of file print.h.

◆ print_container()

template<typename Derived >

template<typename Container >

void mcrl2::data::detail::printer< Derived >::print_container	(	const Container &	container,
		int	container_precedence = `-1`,
		const std::string &	separator = `", "`,
		const std::string &	open_bracket = `"("`,
		const std::string &	close_bracket = `")"`
	)

inline

Definition at line 547 of file print.h.

◆ print_equations()

template<typename Derived >

template<typename Container >

void mcrl2::data::detail::printer< Derived >::print_equations	(	const Container &	equations,
		const data_specification &	data_spec,
		const std::string &	opener = `"("`,
		const std::string &	closer = `")"`,
		const std::string &	separator = `", "`
	)

inline

Definition at line 2455 of file print.h.

◆ print_fbag_cons_list()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_fbag_cons_list ( data_expression x )

inline

Definition at line 1030 of file print.h.

◆ print_fbag_default()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_fbag_default ( const data_expression & x )

inline

Definition at line 1013 of file print.h.

◆ print_fbag_lambda()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_fbag_lambda ( const data_expression & x )

inline

Definition at line 995 of file print.h.

◆ print_fbag_one()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_fbag_one ( const data_expression & x )

inline

Definition at line 978 of file print.h.

◆ print_fbag_zero()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_fbag_zero ( const data_expression & x )

inline

Definition at line 958 of file print.h.

◆ print_fset_cons_list()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_fset_cons_list ( data_expression x )

inline

Definition at line 945 of file print.h.

◆ print_fset_default()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_fset_default ( const data_expression & x )

inline

Definition at line 1149 of file print.h.

◆ print_fset_false()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_fset_false ( const data_expression & x )

inline

Definition at line 1064 of file print.h.

◆ print_fset_lambda()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_fset_lambda ( const data_expression & x )

inline

Definition at line 1076 of file print.h.

◆ print_fset_set_operation()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_fset_set_operation	(	const data_expression &	x,
		const std::string &	op
	)

inline

Definition at line 1086 of file print.h.

◆ print_fset_true()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_fset_true ( const data_expression & x )

inline

Definition at line 1058 of file print.h.

◆ print_function_application()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_function_application ( const application & x )

inline

Definition at line 1192 of file print.h.

◆ print_list_enumeration()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_list_enumeration ( const application & x )

inline

Definition at line 790 of file print.h.

◆ print_set_enumeration()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_set_enumeration ( const application & x )

inline

Definition at line 797 of file print.h.

◆ print_setbag_comprehension()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_setbag_comprehension ( const abstraction & x )

inline

Definition at line 821 of file print.h.

◆ print_snoc_list()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_snoc_list ( data_expression x )

inline

Definition at line 932 of file print.h.

◆ print_sort_declarations()

template<typename Derived >

template<typename AliasContainer , typename SortContainer >

void mcrl2::data::detail::printer< Derived >::print_sort_declarations	(	const AliasContainer &	aliases,
		const SortContainer &	sorts,
		const std::string &	opener = `"("`,
		const std::string &	closer = `")"`,
		const std::string &	separator = `", "`
	)

inline

Definition at line 2415 of file print.h.

◆ print_sort_list()

template<typename Derived >

template<typename Container >

void mcrl2::data::detail::printer< Derived >::print_sort_list	(	const Container &	container,
		const std::string &	opener = `"("`,
		const std::string &	closer = `")"`,
		const std::string &	separator = `", "`
	)

inline

Definition at line 759 of file print.h.

◆ print_sorted_declarations()

template<typename Derived >

template<typename Container , typename SortAccessor >

void mcrl2::data::detail::printer< Derived >::print_sorted_declarations	(	const Container &	container,
		bool	print_sorts = `true`,
		bool	join_sorts = `true`,
		bool	maximally_shared = `false`,
		const std::string &	opener = `"("`,
		const std::string &	closer = `")"`,
		const std::string &	separator = `", "`,
		SortAccessor	get_sort = `get_sort_default()`
	)

inline

Definition at line 594 of file print.h.

◆ print_unary_data_operation()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::print_unary_data_operation	(	const application &	x,
		const std::string &	op
	)

inline

Definition at line 460 of file print.h.

◆ print_variable()

template<typename Derived >

template<typename Variable >

void mcrl2::data::detail::printer< Derived >::print_variable	(	const Variable &	x,
		bool	print_sort = `false`
	)

inline

Definition at line 574 of file print.h.

◆ print_variables()

template<typename Derived >

template<typename Container >

void mcrl2::data::detail::printer< Derived >::print_variables	(	const Container &	container,
		bool	print_sorts = `true`,
		bool	join_sorts = `true`,
		bool	maximally_shared = `false`,
		const std::string &	opener = `"("`,
		const std::string &	closer = `")"`,
		const std::string &	separator = `", "`
	)

inline

Definition at line 706 of file print.h.

◆ update_mappings()

template<typename Derived >

void mcrl2::data::detail::printer< Derived >::update_mappings	(	const data_equation &	eqn,
		std::vector< variable > &	variables,
		std::map< core::identifier_string, variable > &	variable_map,
		std::set< core::identifier_string > &	function_symbol_names
	)

inline

Definition at line 2355 of file print.h.

The documentation for this struct was generated from the following file:

data/include/mcrl2/data/print.h

Classes

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ super

Member Function Documentation

◆ apply() [1/39]

◆ apply() [2/39]

◆ apply() [3/39]

◆ apply() [4/39]

◆ apply() [5/39]

◆ apply() [6/39]

◆ apply() [7/39]

◆ apply() [8/39]

◆ apply() [9/39]

◆ apply() [10/39]

◆ apply() [11/39]

◆ apply() [12/39]

◆ apply() [13/39]

◆ apply() [14/39]

◆ apply() [15/39]

◆ apply() [16/39]

◆ apply() [17/39]

◆ apply() [18/39]

◆ apply() [19/39]

◆ apply() [20/39]

◆ apply() [21/39]

◆ apply() [22/39]

◆ apply() [23/39]

◆ apply() [24/39]

◆ apply() [25/39]

◆ apply() [26/39]

◆ apply() [27/39]

◆ apply() [28/39]

◆ apply() [29/39]

◆ apply() [30/39]

◆ apply() [31/39]

◆ apply() [32/39]

◆ apply() [33/39]

◆ apply() [34/39]

◆ apply() [35/39]

◆ apply() [36/39]

◆ apply() [37/39]

◆ apply() [38/39]

◆ apply() [39/39]

◆ find_conflicting_equation()

◆ generate_identifier()

◆ has_conflict()

◆ is_abstraction_application()

◆ is_cons_list()

◆ is_fbag_cons_list()

◆ is_fbag_lambda()

◆ is_fbag_one()

◆ is_fbag_zero()

◆ is_fset_cons_list()

◆ is_fset_false()

◆ is_fset_lambda()

◆ is_fset_true()

◆ is_infix_operation()

◆ is_numeric_expression()

◆ is_snoc_list()

◆ is_standard_sort()

◆ print_abstraction()

◆ print_assignments()

◆ print_bag_enumeration()

◆ print_binary_data_operation() [1/2]

◆ print_binary_data_operation() [2/2]

◆ print_condition()

◆ print_cons_list()

◆ print_container()

◆ print_equations()

◆ print_fbag_cons_list()

◆ print_fbag_default()

◆ print_fbag_lambda()

◆ print_fbag_one()

◆ print_fbag_zero()

◆ print_fset_cons_list()

◆ print_fset_default()

◆ print_fset_false()