CBMC
Loading...
Searching...
No Matches
Classes | Functions
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

  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 >
 
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.

AltStyle によって変換されたページ (->オリジナル) /