cprover
Loading...
Searching...
No Matches
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: