| CBMC
    | 
#include <iosfwd>#include <sstream>#include <string> Include dependency graph for format.h:
 Include dependency graph for format.h: This graph shows which files directly or indirectly include this file:
 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 | 
| std::string format_to_string | ( | const T & | o | ) | 
| 
 | inlinestatic |