mCRL2
Loading...
Searching...
No Matches
mcrl2::data::stream_printer Struct Reference

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 2506 of file print.h.

Member Function Documentation

◆ operator()()

template<typename T >
void mcrl2::data::stream_printer::operator() ( const T &  x,
std::ostream &  out 
)
inline

Definition at line 2509 of file print.h.


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