cprover
smt_option_to_string_convertert Class Reference
+ Inheritance diagram for smt_option_to_string_convertert:
+ Collaboration diagram for smt_option_to_string_convertert:

Public Member Functions

 smt_option_to_string_convertert (std::ostream &os)
 
void visit (const smt_option_produce_modelst &produce_models) override
 

Protected Attributes

std::ostream & os
 

Detailed Description

Definition at line 222 of file smt_to_smt2_string.cpp.

Constructor & Destructor Documentation

◆ smt_option_to_string_convertert()

smt_option_to_string_convertert::smt_option_to_string_convertert ( std::ostream &  os)
inlineexplicit

Definition at line 229 of file smt_to_smt2_string.cpp.

Member Function Documentation

◆ visit()

void smt_option_to_string_convertert::visit ( const smt_option_produce_modelst produce_models)
inlineoverride

Definition at line 233 of file smt_to_smt2_string.cpp.

Member Data Documentation

◆ os

std::ostream& smt_option_to_string_convertert::os
protected

Definition at line 226 of file smt_to_smt2_string.cpp.


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