smt2_format_containert< T > Struct Template Reference

#include <smt2_format.h>

Public Member Functions
	smt2_format_containert (const T &_o)

Public Attributes
const T &	o

Detailed Description

template<typename T>
struct smt2_format_containert< T >

Definition at line 18 of file smt2_format.h.

Constructor & Destructor Documentation

smt2_format_containert()

template<typename T >

smt2_format_containert< T >::smt2_format_containert ( const T &  _o )

inlineexplicit

Definition at line 20 of file smt2_format.h.

Member Data Documentation

o

template<typename T >

const T& smt2_format_containert< T >::o

Definition at line 24 of file smt2_format.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/smt2/smt2_format.h