CBMC
Public Member Functions | Public Attributes | List of all members
recursive_initialization_configt Struct Reference

#include <recursive_initialization.h>

+ Collaboration diagram for recursive_initialization_configt:

Public Member Functions

std::string to_string () const
 
bool handle_option (const std::string &option, const std::list< std::string > &values)
 Parse the options specific for recursive initialisation. More...
 

Public Attributes

std::size_t min_null_tree_depth = 1
 
std::size_t max_nondet_tree_depth = 2
 
irep_idt mode
 
std::unordered_set< irep_idt > potential_null_function_pointers
 
std::size_t max_dynamic_array_size = 2
 
std::size_t min_dynamic_array_size = 1
 
std::set< irep_idt > pointers_to_treat_as_arrays
 
std::set< irep_idt > variables_that_hold_array_sizes
 
std::map< irep_idt, irep_idt > array_name_to_associated_array_size_variable
 
std::set< irep_idt > pointers_to_treat_as_cstrings
 
std::vector< std::set< irep_idt > > pointers_to_treat_equal
 
bool arguments_may_be_equal = false
 
std::vector< std::vector< irep_idt > > selection_specs
 

Detailed Description

Definition at line 26 of file recursive_initialization.h.

Member Function Documentation

◆ handle_option()

bool recursive_initialization_configt::handle_option ( const std::string &  option,
const std::list< std::string > &  values 
)

Parse the options specific for recursive initialisation.

Parameters
optionthe user option name
valuesthe (one-or-more) values for this option
Returns
true if the option belonged to recursive initialisation and was successfully parsed here

Definition at line 30 of file recursive_initialization.cpp.

◆ to_string()

std::string recursive_initialization_configt::to_string ( ) const

Definition at line 436 of file recursive_initialization.cpp.

Member Data Documentation

◆ arguments_may_be_equal

bool recursive_initialization_configt::arguments_may_be_equal = false

Definition at line 44 of file recursive_initialization.h.

◆ array_name_to_associated_array_size_variable

std::map<irep_idt, irep_idt> recursive_initialization_configt::array_name_to_associated_array_size_variable

Definition at line 39 of file recursive_initialization.h.

◆ max_dynamic_array_size

std::size_t recursive_initialization_configt::max_dynamic_array_size = 2

Definition at line 34 of file recursive_initialization.h.

◆ max_nondet_tree_depth

std::size_t recursive_initialization_configt::max_nondet_tree_depth = 2

Definition at line 29 of file recursive_initialization.h.

◆ min_dynamic_array_size

std::size_t recursive_initialization_configt::min_dynamic_array_size = 1

Definition at line 35 of file recursive_initialization.h.

◆ min_null_tree_depth

std::size_t recursive_initialization_configt::min_null_tree_depth = 1

Definition at line 28 of file recursive_initialization.h.

◆ mode

irep_idt recursive_initialization_configt::mode

Definition at line 30 of file recursive_initialization.h.

◆ pointers_to_treat_as_arrays

std::set<irep_idt> recursive_initialization_configt::pointers_to_treat_as_arrays

Definition at line 37 of file recursive_initialization.h.

◆ pointers_to_treat_as_cstrings

std::set<irep_idt> recursive_initialization_configt::pointers_to_treat_as_cstrings

Definition at line 41 of file recursive_initialization.h.

◆ pointers_to_treat_equal

std::vector<std::set<irep_idt> > recursive_initialization_configt::pointers_to_treat_equal

Definition at line 42 of file recursive_initialization.h.

◆ potential_null_function_pointers

std::unordered_set<irep_idt> recursive_initialization_configt::potential_null_function_pointers

Definition at line 31 of file recursive_initialization.h.

◆ selection_specs

std::vector<std::vector<irep_idt> > recursive_initialization_configt::selection_specs

Definition at line 46 of file recursive_initialization.h.

◆ variables_that_hold_array_sizes

std::set<irep_idt> recursive_initialization_configt::variables_that_hold_array_sizes

Definition at line 38 of file recursive_initialization.h.

The documentation for this struct was generated from the following files: