smt2_stringstreamt Class Reference

#include <smt2_dec.h>

Inheritance diagram for smt2_stringstreamt:

Collaboration diagram for smt2_stringstreamt:

Protected Attributes
std::stringstream	stringstream

Detailed Description

Definition at line 17 of file smt2_dec.h.

Member Data Documentation

stringstream

std::stringstream smt2_stringstreamt::stringstream

protected

Definition at line 20 of file smt2_dec.h.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/smt2/smt2_dec.h