smt_sort_output_visitort Class Reference

Inheritance diagram for smt_sort_output_visitort:

Collaboration diagram for smt_sort_output_visitort:

Public Member Functions
	smt_sort_output_visitort (std::ostream &os)
void	visit (const smt_bool_sortt &) override
void	visit (const smt_bit_vector_sortt &bit_vec) override
void	visit (const smt_array_sortt &array) override

Protected Attributes
std::ostream &	os

Detailed Description

Definition at line 60 of file smt_to_smt2_string.cpp.

Constructor & Destructor Documentation

smt_sort_output_visitort()

smt_sort_output_visitort::smt_sort_output_visitort ( std::ostream &  os )

inlineexplicit

Definition at line 66 of file smt_to_smt2_string.cpp.

Member Function Documentation

visit() [1/3]

void smt_sort_output_visitort::visit ( const smt_array_sortt &  array )

inlineoverride

Definition at line 80 of file smt_to_smt2_string.cpp.

visit() [2/3]

void smt_sort_output_visitort::visit ( const smt_bit_vector_sortt &  bit_vec )

inlineoverride

Definition at line 75 of file smt_to_smt2_string.cpp.

visit() [3/3]

void smt_sort_output_visitort::visit ( const smt_bool_sortt &  )

inlineoverride

Definition at line 70 of file smt_to_smt2_string.cpp.

Member Data Documentation

os

std::ostream& smt_sort_output_visitort::os

protected

Definition at line 63 of file smt_to_smt2_string.cpp.

---

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

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