cprover
smt2_stringstreamt Class Reference

#include <smt2_dec.h>

Inheritance diagram for smt2_stringstreamt:
[legend]
Collaboration diagram for smt2_stringstreamt:
[legend]

Protected Attributes

std::stringstream stringstream
 

Detailed Description

Definition at line 27 of file smt2_dec.h.

Member Data Documentation

◆ stringstream

std::stringstream smt2_stringstreamt::stringstream
protected

Definition at line 30 of file smt2_dec.h.

Referenced by smt2_dect::dec_solve().


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