|
cprover
|
#include <iosfwd>#include <sstream>#include <string>Go to the source code of this file.
Classes | |
| class | format_containert< T > |
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 |