Prints the object x to a stream. More...

#include <print.h>

Public Member Functions
template<typename T >
void	operator() (const T &x, std::ostream &out, bool precedence_aware)

Detailed Description

Prints the object x to a stream.

Definition at line 241 of file print.h.

Member Function Documentation

template<typename T >

void mcrl2::pbes_system::stream_printer::operator()	(	const T &	x,
		std::ostream &	out,
		bool	precedence_aware
	)

inline

Definition at line 244 of file print.h.

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