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)    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 38 of file smt_options.cpp.