CBMC
format_containert< T > Class Template Reference

The below enables convenient syntax for feeding objects into streams, via stream << format(o) More...

#include <format.h>

Public Member Functions

 format_containert (const T &_o)
 

Public Attributes

const T & o
 

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()

template<typename T >
format_containert< T >::format_containert ( const T &  _o)
inlineexplicit

Definition at line 22 of file format.h.

Member Data Documentation

◆ o

template<typename T >
const T& format_containert< T >::o

Definition at line 26 of file format.h.


The documentation for this class was generated from the following file: