CBMC
|
#include <iosfwd>
#include <sstream>
#include <string>
Go to the source code of this file.
Classes | |
class | format_containert< T > |
The below enables convenient syntax for feeding objects into streams, via stream << format(o) More... | |
Functions | |
template<typename T > | |
static std::ostream & | operator<< (std::ostream &os, const format_containert< T > &f) |
template<typename T > | |
static format_containert< T > | format (const T &o) |
template<typename T > | |
std::string | format_to_string (const T &o) |
|
inlinestatic |
std::string format_to_string | ( | const T & | o | ) |
|
inlinestatic |