#include "smt_options.h"
#include "smt_options.def"
Go to the source code of this file.
◆ OPTION_ID [1/2]
#define OPTION_ID |
( |
| the_id | ) |
|
Value: const irep_idt ID_smt_option_##the_id{
"smt_option_" #the_id};
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
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.