smt_logic_to_string_convertert Class Reference

Inheritance diagram for smt_logic_to_string_convertert:

Collaboration diagram for smt_logic_to_string_convertert:

Public Member Functions
	smt_logic_to_string_convertert (std::ostream &os)
void	visit (const smt_logic_quantifier_free_uninterpreted_functionst &) override
void	visit (const smt_logic_quantifier_free_bit_vectorst &) override
void	visit (const smt_logic_quantifier_free_uninterpreted_functions_bit_vectorst &) override
void	visit (const smt_logic_quantifier_free_bit_vectors_arrayst &) override
void	visit (const smt_logic_quantifier_free_arrays_uninterpreted_functions_bit_vectorst &) override
void	visit (const smt_logic_allt &) override

Protected Attributes
std::ostream &	os

Detailed Description

Definition at line 354 of file smt_to_smt2_string.cpp.

Constructor & Destructor Documentation

smt_logic_to_string_convertert()

smt_logic_to_string_convertert::smt_logic_to_string_convertert ( std::ostream & os )

inlineexplicit

Definition at line 360 of file smt_to_smt2_string.cpp.

Member Function Documentation

visit() [1/6]

void smt_logic_to_string_convertert::visit ( const smt_logic_allt & )

inlineoverridevirtual

Implements smt_logic_const_downcast_visitort.

Definition at line 15 of file smt_to_smt2_string.cpp.

visit() [2/6]

void smt_logic_to_string_convertert::visit ( const smt_logic_quantifier_free_arrays_uninterpreted_functions_bit_vectorst & )

inlineoverridevirtual

Implements smt_logic_const_downcast_visitort.

Definition at line 14 of file smt_to_smt2_string.cpp.

visit() [3/6]

void smt_logic_to_string_convertert::visit ( const smt_logic_quantifier_free_bit_vectors_arrayst & )

inlineoverridevirtual

Implements smt_logic_const_downcast_visitort.

Definition at line 13 of file smt_to_smt2_string.cpp.

visit() [4/6]

void smt_logic_to_string_convertert::visit ( const smt_logic_quantifier_free_bit_vectorst & )

inlineoverridevirtual

Implements smt_logic_const_downcast_visitort.

Definition at line 11 of file smt_to_smt2_string.cpp.

visit() [5/6]

void smt_logic_to_string_convertert::visit ( const smt_logic_quantifier_free_uninterpreted_functions_bit_vectorst & )

inlineoverridevirtual

Implements smt_logic_const_downcast_visitort.

Definition at line 12 of file smt_to_smt2_string.cpp.

visit() [6/6]

void smt_logic_to_string_convertert::visit ( const smt_logic_quantifier_free_uninterpreted_functionst & )

inlineoverridevirtual

Implements smt_logic_const_downcast_visitort.

Definition at line 10 of file smt_to_smt2_string.cpp.

Member Data Documentation

os

std::ostream& smt_logic_to_string_convertert::os

protected

Definition at line 357 of file smt_to_smt2_string.cpp.

---

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

• solvers/smt2_incremental/smt_to_smt2_string.cpp