cprover
Loading...
Searching...
No Matches
vsd_configt Struct Reference

#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 43 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 80 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 81 of file variable_sensitivity_configuration.h.

Constructor & Destructor Documentation

◆ vsd_configt()

vsd_configt::vsd_configt ( )
inline

Definition at line 68 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 159 of file variable_sensitivity_configuration.cpp.

◆ constant_domain()

vsd_configt vsd_configt::constant_domain ( )
static

Definition at line 57 of file variable_sensitivity_configuration.cpp.

◆ from_options()

vsd_configt vsd_configt::from_options ( const optionst & options)
static

Definition at line 22 of file variable_sensitivity_configuration.cpp.

◆ intervals()

vsd_configt vsd_configt::intervals ( )
static

Definition at line 80 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 140 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 170 of file variable_sensitivity_configuration.cpp.

◆ value_set()

vsd_configt vsd_configt::value_set ( )
static

Definition at line 69 of file variable_sensitivity_configuration.cpp.

Member Data Documentation

◆ array_abstract_type

ABSTRACT_OBJECT_TYPET vsd_configt::array_abstract_type

Definition at line 48 of file variable_sensitivity_configuration.h.

◆ array_option_mappings

const vsd_configt::option_mappingt vsd_configt::array_option_mappings
staticprivate
Initial value:

Definition at line 106 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:

Definition at line 113 of file variable_sensitivity_configuration.h.

◆ [struct]

struct { ... } vsd_configt::context_tracking

◆ data_dependency_context

bool vsd_configt::data_dependency_context

Definition at line 58 of file variable_sensitivity_configuration.h.

◆ flow_sensitivity

flow_sensitivityt vsd_configt::flow_sensitivity

Definition at line 51 of file variable_sensitivity_configuration.h.

◆ last_write_context

bool vsd_configt::last_write_context

Definition at line 59 of file variable_sensitivity_configuration.h.

◆ liveness

bool vsd_configt::liveness

Definition at line 57 of file variable_sensitivity_configuration.h.

◆ maximum_array_index

size_t vsd_configt::maximum_array_index = 0

Definition at line 53 of file variable_sensitivity_configuration.h.

◆ pointer_abstract_type

ABSTRACT_OBJECT_TYPET vsd_configt::pointer_abstract_type

Definition at line 46 of file variable_sensitivity_configuration.h.

◆ pointer_option_mappings

const vsd_configt::option_mappingt vsd_configt::pointer_option_mappings
staticprivate
Initial value:

Definition at line 97 of file variable_sensitivity_configuration.h.

◆ struct_abstract_type

ABSTRACT_OBJECT_TYPET vsd_configt::struct_abstract_type

Definition at line 47 of file variable_sensitivity_configuration.h.

◆ struct_option_mappings

const vsd_configt::option_mappingt vsd_configt::struct_option_mappings
staticprivate
Initial value:

Definition at line 102 of file variable_sensitivity_configuration.h.

◆ union_abstract_type

ABSTRACT_OBJECT_TYPET vsd_configt::union_abstract_type

Definition at line 49 of file variable_sensitivity_configuration.h.

◆ union_option_mappings

const vsd_configt::option_mappingt vsd_configt::union_option_mappings
staticprivate
Initial value:

Definition at line 119 of file variable_sensitivity_configuration.h.

◆ value_abstract_type

ABSTRACT_OBJECT_TYPET vsd_configt::value_abstract_type

Definition at line 45 of file variable_sensitivity_configuration.h.

◆ value_option_mappings

const vsd_configt::option_mappingt vsd_configt::value_option_mappings
staticprivate
Initial value:

Definition at line 92 of file variable_sensitivity_configuration.h.


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