cprover
Loading...
Searching...
No Matches
smt_command_const_downcast_visitort Class Referenceabstract

#include <smt_commands.h>

Inheritance diagram for smt_command_const_downcast_visitort:

Public Member Functions

virtual void visit (const smt_assert_commandt &)=0
virtual void visit (const smt_check_sat_commandt &)=0
virtual void visit (const smt_declare_function_commandt &)=0
virtual void visit (const smt_define_function_commandt &)=0
virtual void visit (const smt_exit_commandt &)=0
virtual void visit (const smt_get_value_commandt &)=0
virtual void visit (const smt_pop_commandt &)=0
virtual void visit (const smt_push_commandt &)=0
virtual void visit (const smt_set_logic_commandt &)=0
virtual void visit (const smt_set_option_commandt &)=0

Detailed Description

Definition at line 135 of file smt_commands.h.

Member Function Documentation

◆ visit() [1/10]

virtual void smt_command_const_downcast_visitort::visit ( const smt_assert_commandt & )
pure virtual

◆ visit() [2/10]

virtual void smt_command_const_downcast_visitort::visit ( const smt_check_sat_commandt & )
pure virtual

◆ visit() [3/10]

virtual void smt_command_const_downcast_visitort::visit ( const smt_declare_function_commandt & )
pure virtual

◆ visit() [4/10]

virtual void smt_command_const_downcast_visitort::visit ( const smt_define_function_commandt & )
pure virtual

◆ visit() [5/10]

virtual void smt_command_const_downcast_visitort::visit ( const smt_exit_commandt & )
pure virtual

◆ visit() [6/10]

virtual void smt_command_const_downcast_visitort::visit ( const smt_get_value_commandt & )
pure virtual

◆ visit() [7/10]

virtual void smt_command_const_downcast_visitort::visit ( const smt_pop_commandt & )
pure virtual

◆ visit() [8/10]

virtual void smt_command_const_downcast_visitort::visit ( const smt_push_commandt & )
pure virtual

◆ visit() [9/10]

virtual void smt_command_const_downcast_visitort::visit ( const smt_set_logic_commandt & )
pure virtual

◆ visit() [10/10]

virtual void smt_command_const_downcast_visitort::visit ( const smt_set_option_commandt & )
pure virtual

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