cprover
Loading...
Searching...
No Matches
smt_options.cpp File Reference
#include "smt_options.h"
#include "smt_options.def"
+ Include dependency graph for smt_options.cpp:

Go to the source code of this file.

Macros

#define OPTION_ID(the_id)
 
#define OPTION_ID(the_id)
 

Macro Definition Documentation

◆ 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 dstring.h:38

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.