CBMC
c_object_factory_parameterst Struct Referencefinal

#include <c_object_factory_parameters.h>

+ Inheritance diagram for c_object_factory_parameterst:
+ Collaboration diagram for c_object_factory_parameterst:

Public Member Functions

 c_object_factory_parameterst ()
 
 c_object_factory_parameterst (const optionst &options)
 
- Public Member Functions inherited from object_factory_parameterst
 object_factory_parameterst ()
 
 object_factory_parameterst (const optionst &options)
 
virtual ~object_factory_parameterst ()=default
 
void set (const optionst &)
 Assigns the parameters from given options. More...
 

Additional Inherited Members

- Public Attributes inherited from object_factory_parameterst
size_t max_nondet_array_length = 5
 Maximum value for the non-deterministically-chosen length of an array. More...
 
size_t max_nondet_string_length = MAX_CONCRETE_STRING_SIZE - 1
 Maximum value for the non-deterministically-chosen length of a string. More...
 
size_t min_nondet_string_length = 0
 Minimum value for the non-deterministically-chosen length of a string. More...
 
size_t max_nondet_tree_depth = 5
 Maximum depth of pointer chains (that contain recursion) in the nondet generated input objects. More...
 
size_t min_null_tree_depth = 0
 To force a certain depth of non-null objects. More...
 
bool string_printable = false
 Force string content to be ASCII printable characters when set to true. More...
 
std::list< std::string > string_input_values
 Force one of finitely many explicitly given input strings. More...
 
irep_idt function_id
 Function id, used as a prefix for identifiers of temporaries. More...
 

Detailed Description

Definition at line 14 of file c_object_factory_parameters.h.

Constructor & Destructor Documentation

◆ c_object_factory_parameterst() [1/2]

c_object_factory_parameterst::c_object_factory_parameterst ( )
inline

Definition at line 16 of file c_object_factory_parameters.h.

◆ c_object_factory_parameterst() [2/2]

c_object_factory_parameterst::c_object_factory_parameterst ( const optionst options)
inlineexplicit

Definition at line 20 of file c_object_factory_parameters.h.


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