recursive_initialization.h File Reference

#include <map>
#include <set>
#include <unordered_set>
#include <util/cprover_prefix.h>
#include <util/optional.h>
#include <util/prefix.h>
#include <util/std_expr.h>
#include <util/symbol.h>

Include dependency graph for recursive_initialization.h:

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

Go to the source code of this file.

Classes
struct	recursive_initialization_configt
class	recursive_initializationt
	Class for generating initialisation code for compound structures. More...
struct	recursive_initializationt::constructor_keyt

Macros
#define	GOTO_HARNESS_PREFIX   "__GOTO_HARNESS"

Macro Definition Documentation

GOTO_HARNESS_PREFIX

#define GOTO_HARNESS_PREFIX   "__GOTO_HARNESS"

Definition at line 25 of file recursive_initialization.h.