CBMC
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 19 of file smt2_dec.h.

Member Data Documentation

◆ stringstream

std::stringstream smt2_stringstreamt::stringstream
protected

Definition at line 22 of file smt2_dec.h.


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