Loading...
Searching...
No Matches
format_containert< T > Class Template Reference
The below enables convenient syntax for feeding objects into streams, via stream << format(o)
More...
#include <format.h>
Detailed Description
template<
typename T>
class format_containert< T >
The below enables convenient syntax for feeding objects into streams, via stream << format(o)
Definition at line 19 of file format.h.
Constructor & Destructor Documentation
◆ format_containert()
Member Data Documentation
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/util/format.h