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)

Detailed Description

Prints the object x to a stream.

Definition at line 319 of file print.h.

Member Function Documentation

template<typename T >

void mcrl2::lps::stream_printer::operator()	(	const T &	x,
		std::ostream &	out
	)

inline

Definition at line 322 of file print.h.

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