#include <variable_sensitivity_configuration.h>

Collaboration diagram for vsd_configt:

Public Member Functions
	vsd_configt ()

Static Public Member Functions
static vsd_configt	from_options (const optionst &options)

static vsd_configt	constant_domain ()

static vsd_configt	value_set ()

static vsd_configt	intervals ()

Public Attributes
ABSTRACT_OBJECT_TYPET	value_abstract_type

ABSTRACT_OBJECT_TYPET	pointer_abstract_type

ABSTRACT_OBJECT_TYPET	struct_abstract_type

ABSTRACT_OBJECT_TYPET	array_abstract_type

ABSTRACT_OBJECT_TYPET	union_abstract_type

flow_sensitivityt	flow_sensitivity

size_t	maximum_array_index = 0

struct {
bool liveness

bool data_dependency_context

bool last_write_context

}	context_tracking

Private Types
using	option_mappingt = std::map< std::string, ABSTRACT_OBJECT_TYPET >

using	option_size_mappingt = std::map< std::string, size_t >

Static Private Member Functions
static ABSTRACT_OBJECT_TYPET	option_to_abstract_type (const optionst &options, const std::string &option_name, const option_mappingt &mapping, ABSTRACT_OBJECT_TYPET default_type)

static size_t	configure_max_array_size (const optionst &options)

static size_t	option_to_size (const optionst &options, const std::string &option_name, const option_size_mappingt &mapping)

Static Private Attributes
static const option_mappingt	value_option_mappings

static const option_mappingt	pointer_option_mappings

static const option_mappingt	struct_option_mappings

static const option_mappingt	array_option_mappings

static const option_size_mappingt	array_option_size_mappings

static const option_mappingt	union_option_mappings

Detailed Description

Definition at line 44 of file variable_sensitivity_configuration.h.

Member Typedef Documentation

◆ option_mappingt

using vsd_configt::option_mappingt = std::map<std::string, ABSTRACT_OBJECT_TYPET>

private

Definition at line 81 of file variable_sensitivity_configuration.h.

◆ option_size_mappingt

using vsd_configt::option_size_mappingt = std::map<std::string, size_t>

private

Definition at line 82 of file variable_sensitivity_configuration.h.

Constructor & Destructor Documentation

◆ vsd_configt()

vsd_configt::vsd_configt ( )

inline

Definition at line 69 of file variable_sensitivity_configuration.h.

Member Function Documentation

◆ configure_max_array_size()

size_t vsd_configt::configure_max_array_size ( const optionst & options )

staticprivate

Definition at line 157 of file variable_sensitivity_configuration.cpp.

◆ constant_domain()

vsd_configt vsd_configt::constant_domain ( )

static

Definition at line 55 of file variable_sensitivity_configuration.cpp.

◆ from_options()

vsd_configt vsd_configt::from_options ( const optionst & options )

static

Definition at line 20 of file variable_sensitivity_configuration.cpp.

◆ intervals()

vsd_configt vsd_configt::intervals ( )

static

Definition at line 78 of file variable_sensitivity_configuration.cpp.

◆ option_to_abstract_type()

ABSTRACT_OBJECT_TYPET vsd_configt::option_to_abstract_type	(	const optionst &	options,
		const std::string &	option_name,
		const option_mappingt &	mapping,
		ABSTRACT_OBJECT_TYPET	default_type
	)

staticprivate

Definition at line 138 of file variable_sensitivity_configuration.cpp.

◆ option_to_size()

size_t vsd_configt::option_to_size	(	const optionst &	options,
		const std::string &	option_name,
		const option_size_mappingt &	mapping
	)

staticprivate

Definition at line 168 of file variable_sensitivity_configuration.cpp.

◆ value_set()

vsd_configt vsd_configt::value_set ( )

static

Definition at line 67 of file variable_sensitivity_configuration.cpp.

Member Data Documentation

◆ array_abstract_type

ABSTRACT_OBJECT_TYPET vsd_configt::array_abstract_type

Definition at line 49 of file variable_sensitivity_configuration.h.

◆ array_option_mappings

const vsd_configt::option_mappingt vsd_configt::array_option_mappings

staticprivate

Initial value:

= {
  {"top-bottom", ARRAY_INSENSITIVE},
  {"smash", ARRAY_SENSITIVE},
  {"up-to-n-elements", ARRAY_SENSITIVE},
  {"every-element", ARRAY_SENSITIVE}}

Definition at line 100 of file variable_sensitivity_configuration.h.

◆ array_option_size_mappings

const vsd_configt::option_size_mappingt vsd_configt::array_option_size_mappings

staticprivate

Initial value:

= {
    {"top-bottom", 0},
    {"smash", 0},
    {"up-to-n-elements", 10},
    {"every-element", std::numeric_limits<size_t>::max()}}

Definition at line 101 of file variable_sensitivity_configuration.h.

◆ context_tracking

struct { ... } vsd_configt::context_tracking

◆ data_dependency_context

bool vsd_configt::data_dependency_context

Definition at line 59 of file variable_sensitivity_configuration.h.

◆ flow_sensitivity

flow_sensitivityt vsd_configt::flow_sensitivity

Definition at line 52 of file variable_sensitivity_configuration.h.

◆ last_write_context

bool vsd_configt::last_write_context

Definition at line 60 of file variable_sensitivity_configuration.h.

◆ liveness

bool vsd_configt::liveness

Definition at line 58 of file variable_sensitivity_configuration.h.

◆ maximum_array_index

size_t vsd_configt::maximum_array_index = 0

Definition at line 54 of file variable_sensitivity_configuration.h.

◆ pointer_abstract_type

ABSTRACT_OBJECT_TYPET vsd_configt::pointer_abstract_type

Definition at line 47 of file variable_sensitivity_configuration.h.

◆ pointer_option_mappings

const vsd_configt::option_mappingt vsd_configt::pointer_option_mappings

staticprivate

Initial value:

= {
  {"top-bottom", POINTER_INSENSITIVE},
  {"constants", POINTER_SENSITIVE},
  {"value-set", VALUE_SET_OF_POINTERS}}

Definition at line 98 of file variable_sensitivity_configuration.h.

◆ struct_abstract_type

ABSTRACT_OBJECT_TYPET vsd_configt::struct_abstract_type

Definition at line 48 of file variable_sensitivity_configuration.h.

◆ struct_option_mappings

const vsd_configt::option_mappingt vsd_configt::struct_option_mappings

staticprivate

Initial value:

= {
  {"top-bottom", STRUCT_INSENSITIVE},
  {"every-field", STRUCT_SENSITIVE}}

Definition at line 99 of file variable_sensitivity_configuration.h.

◆ union_abstract_type

ABSTRACT_OBJECT_TYPET vsd_configt::union_abstract_type

Definition at line 50 of file variable_sensitivity_configuration.h.

◆ union_option_mappings

const vsd_configt::option_mappingt vsd_configt::union_option_mappings

staticprivate

Initial value:

= {

{"top-bottom", UNION_INSENSITIVE}}

Definition at line 102 of file variable_sensitivity_configuration.h.

◆ value_abstract_type

ABSTRACT_OBJECT_TYPET vsd_configt::value_abstract_type

Definition at line 46 of file variable_sensitivity_configuration.h.

◆ value_option_mappings

const vsd_configt::option_mappingt vsd_configt::value_option_mappings

staticprivate

Initial value:

= {
  {"intervals", INTERVAL},
  {"constants", CONSTANT},
  {"set-of-constants", VALUE_SET}}

Definition at line 97 of file variable_sensitivity_configuration.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/variable-sensitivity/variable_sensitivity_configuration.h
/home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/variable-sensitivity/variable_sensitivity_configuration.cpp

Public Member Functions

Static Public Member Functions

Public Attributes

Private Types

Static Private Member Functions

Static Private Attributes

Detailed Description

Member Typedef Documentation

◆ option_mappingt

◆ option_size_mappingt

Constructor & Destructor Documentation

◆ vsd_configt()

Member Function Documentation

◆ configure_max_array_size()

◆ constant_domain()

◆ from_options()

◆ intervals()

◆ option_to_abstract_type()

◆ option_to_size()

◆ value_set()

Member Data Documentation

◆ array_abstract_type

◆ array_option_mappings

◆ array_option_size_mappings

◆ context_tracking

◆ data_dependency_context

◆ flow_sensitivity

◆ last_write_context

◆ liveness

◆ maximum_array_index

◆ pointer_abstract_type

◆ pointer_option_mappings

◆ struct_abstract_type

◆ struct_option_mappings

◆ union_abstract_type

◆ union_option_mappings

◆ value_abstract_type

◆ value_option_mappings