CBMC
format.h File Reference
#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)
 

Function Documentation

◆ format()

template<typename T >
static format_containert<T> format ( const T &  o)
inlinestatic

Definition at line 37 of file format.h.

◆ format_to_string()

template<typename T >
std::string format_to_string ( const T &  o)

Definition at line 43 of file format.h.

◆ operator<<()

template<typename T >
static std::ostream& operator<< ( std::ostream &  os,
const format_containert< T > &  f 
)
inlinestatic

Definition at line 30 of file format.h.