CBMC
Public Member Functions | Protected Attributes | List of all members
smt_command_to_string_convertert Class Reference
+ Inheritance diagram for smt_command_to_string_convertert:
+ Collaboration diagram for smt_command_to_string_convertert:

Public Member Functions

 smt_command_to_string_convertert (std::ostream &os)
 
void visit (const smt_assert_commandt &assert) override
 
void visit (const smt_check_sat_commandt &check_sat) override
 
void visit (const smt_declare_function_commandt &declare_function) override
 
void visit (const smt_define_function_commandt &define_function) override
 
void visit (const smt_exit_commandt &exit) override
 
void visit (const smt_get_value_commandt &get_value) override
 
void visit (const smt_pop_commandt &pop) override
 
void visit (const smt_push_commandt &push) override
 
void visit (const smt_set_logic_commandt &set_logic) override
 
void visit (const smt_set_option_commandt &set_option) override
 

Protected Attributes

std::ostream & os
 

Detailed Description

Definition at line 387 of file smt_to_smt2_string.cpp.

Constructor & Destructor Documentation

◆ smt_command_to_string_convertert()

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

Definition at line 394 of file smt_to_smt2_string.cpp.

Member Function Documentation

◆ visit() [1/10]

void smt_command_to_string_convertert::visit ( const smt_assert_commandt &  assert)
inlineoverride

Definition at line 398 of file smt_to_smt2_string.cpp.

◆ visit() [2/10]

void smt_command_to_string_convertert::visit ( const smt_check_sat_commandt &  check_sat)
inlineoverride

Definition at line 403 of file smt_to_smt2_string.cpp.

◆ visit() [3/10]

void smt_command_to_string_convertert::visit ( const smt_declare_function_commandt &  declare_function)
inlineoverride

Definition at line 408 of file smt_to_smt2_string.cpp.

◆ visit() [4/10]

void smt_command_to_string_convertert::visit ( const smt_define_function_commandt &  define_function)
inlineoverride

Definition at line 416 of file smt_to_smt2_string.cpp.

◆ visit() [5/10]

void smt_command_to_string_convertert::visit ( const smt_exit_commandt &  exit)
inlineoverride

Definition at line 433 of file smt_to_smt2_string.cpp.

◆ visit() [6/10]

void smt_command_to_string_convertert::visit ( const smt_get_value_commandt &  get_value)
inlineoverride

Definition at line 438 of file smt_to_smt2_string.cpp.

◆ visit() [7/10]

void smt_command_to_string_convertert::visit ( const smt_pop_commandt &  pop)
inlineoverride

Definition at line 443 of file smt_to_smt2_string.cpp.

◆ visit() [8/10]

void smt_command_to_string_convertert::visit ( const smt_push_commandt &  push)
inlineoverride

Definition at line 448 of file smt_to_smt2_string.cpp.

◆ visit() [9/10]

void smt_command_to_string_convertert::visit ( const smt_set_logic_commandt &  set_logic)
inlineoverride

Definition at line 453 of file smt_to_smt2_string.cpp.

◆ visit() [10/10]

void smt_command_to_string_convertert::visit ( const smt_set_option_commandt &  set_option)
inlineoverride

Definition at line 458 of file smt_to_smt2_string.cpp.

Member Data Documentation

◆ os

std::ostream& smt_command_to_string_convertert::os
protected

Definition at line 391 of file smt_to_smt2_string.cpp.

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