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 324 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 331 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 335 of file smt_to_smt2_string.cpp.

Member Data Documentation

os

std::ostream& smt_option_to_string_convertert::os

protected

Definition at line 328 of file smt_to_smt2_string.cpp.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/smt2_incremental/smt_to_smt2_string.cpp