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

Constructor & Destructor Documentation

c_object_factory_parameterst::c_object_factory_parameterst ( )

inline

c_object_factory_parameterst::c_object_factory_parameterst ( const optionst & options )

inlineexplicit

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/ansi-c/c_object_factory_parameters.h