cprover
Loading...
Searching...
No Matches
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
 
- Public Member Functions inherited from smt_logic_const_downcast_visitort

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: