CBMC
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Public Attributes | Private Types | Static Private Member Functions | Static Private Attributes | List of all members
vsd_configt Struct Reference

#include <variable_sensitivity_configuration.h>

+ Collaboration diagram for vsd_configt:
[フレーム]
[legend]

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:
= {
{"top-bottom", ARRAY_INSENSITIVE},
{"smash", ARRAY_SENSITIVE},
{"up-to-n-elements", ARRAY_SENSITIVE},
{"every-element", ARRAY_SENSITIVE}}
@ ARRAY_SENSITIVE
@ ARRAY_INSENSITIVE

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

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:
= {
{"top-bottom", POINTER_INSENSITIVE},
{"constants", POINTER_SENSITIVE},
{"value-set", VALUE_SET_OF_POINTERS}}
@ VALUE_SET_OF_POINTERS
@ POINTER_INSENSITIVE
@ POINTER_SENSITIVE

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:
= {
{"top-bottom", STRUCT_INSENSITIVE},
{"every-field", STRUCT_SENSITIVE}}
@ STRUCT_SENSITIVE
@ STRUCT_INSENSITIVE

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:
= {
{"top-bottom", UNION_INSENSITIVE}}
@ UNION_INSENSITIVE

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:
= {
{"intervals", INTERVAL},
{"constants", CONSTANT},
{"set-of-constants", VALUE_SET}}
@ INTERVAL
@ CONSTANT
@ VALUE_SET

Definition at line 92 of file variable_sensitivity_configuration.h.

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

AltStyle によって変換されたページ (->オリジナル) /