cprover
recursive_initialization.h File Reference
#include <map>
#include <set>
#include <goto-programs/goto_model.h>
#include <util/expr.h>
#include <util/message.h>
#include <util/optional.h>
#include <util/prefix.h>
#include <util/std_types.h>
#include "function_harness_generator_options.h"
#include "goto_harness_generator.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.