6#define OPTION_ID(the_id) \
7 const irep_idt ID_smt_option_##the_id{"smt_option_" #the_id};
8#include "smt_options.def"
23 return !(*
this == other);
37template <
typename visitort>
40#define OPTION_ID(the_id) \
41 if(id == ID_smt_option_##the_id) \
42 return visitor.visit(static_cast<const smt_option_##the_id##t &>(option));
45#include "smt_options.def"
57 ::accept(*
this,
id(), std::move(visitor));
bool get_bool(const irep_idt &name) const
bool operator==(const irept &other) const
irept(const irep_idt &_id)
void set(const irep_idt &name, const irep_idt &value)
const irep_idt & id() const
smt_option_produce_modelst(bool setting)
void accept(smt_option_const_downcast_visitort &) const
bool operator==(const smt_optiont &) const
bool operator!=(const smt_optiont &) const
#define UNREACHABLE
This should be used to mark dead code.