#include "smt_options.h"
#include "smt_options.def"

Include dependency graph for smt_options.cpp:

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

ai_baset::visit

virtual bool visit(const irep_idt &function_id, trace_ptrt p, working_sett &working_set, const goto_programt &goto_program, const goto_functionst &goto_functions, const namespacet &ns)

Perform one step of abstract interpretation from trace t Depending on the instruction type it may com...

Definition ai.cpp:267

ait

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:562

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.

Macros

Functions

Macro Definition Documentation

◆ OPTION_ID [1/2]

◆ OPTION_ID [2/2]

Function Documentation

◆ accept()