#include <util/irep.h>
#include "smt_options.def"

Include dependency graph for smt_options.h:

This graph shows which files directly or indirectly include this file:

Classes
class	smt_optiont

class	smt_optiont::storert< derivedt >
	Class for adding the ability to up and down cast smt_optiont to and from irept. More...

class	smt_option_produce_modelst

class	smt_option_const_downcast_visitort

Macros
#define	OPTION_ID(the_id) virtual void visit(const smt_option_##the_id##t &) = 0;

Macro Definition Documentation

◆ OPTION_ID

#define OPTION_ID ( the_id ) virtual void visit(const smt_option_##the_id##t &) = 0;

Definition at line 74 of file smt_options.h.