|
CBMC
|
#include <iosfwd>#include <sstream>#include <string>
Include dependency graph for format.h:
This graph shows which files directly or indirectly include this file: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 |