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 284 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 291 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 295 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 300 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 305 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 313 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 330 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 335 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 340 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 345 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 350 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 355 of file smt_to_smt2_string.cpp.

Member Data Documentation

os

std::ostream& smt_command_to_string_convertert::os

protected

Definition at line 288 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