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};

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.