#include <solvers/smt2_incremental/smt_options.h>#include <solvers/smt2_incremental/smt_options.def>
Include dependency graph for smt_options.cpp:Go to the source code of this file.
Macros | |
| #define | OPTION_ID(the_id) const irep_idt ID_smt_option_##the_id{"smt_option_" #the_id}; |
| #define | OPTION_ID(the_id) |
Functions | |
| template<typename visitort > | |
| void | accept (const smt_optiont &option, const irep_idt &id, visitort &&visitor) |
Macro Definition Documentation
◆ OPTION_ID [1/2]
| #define OPTION_ID | ( | the_id | ) | const irep_idt ID_smt_option_##the_id{"smt_option_" #the_id}; |
Definition at line 6 of file smt_options.cpp.
◆ OPTION_ID [2/2]
| #define OPTION_ID | ( | the_id | ) |
Value:
if(id == ID_smt_option_##the_id) \
return visitor.visit(static_cast<const smt_option_##the_id##t &>(option));
Definition at line 6 of file smt_options.cpp.
Function Documentation
◆ accept()
template<typename visitort >
| void accept | ( | const smt_optiont & | option, |
| const irep_idt & | id, | ||
| visitort && | visitor | ||
| ) |
Definition at line 37 of file smt_options.cpp.
