Go to the documentation of this file.
11 #ifndef CPROVER_ANALYSES_VARIABLE_SENSITIVITY_VARIABLE_SENSITIVITY_CONFIGURATION_H
12 #define CPROVER_ANALYSES_VARIABLE_SENSITIVITY_VARIABLE_SENSITIVITY_CONFIGURATION_H
84 const std::string &option_name,
89 const std::string &option_name,
90 const std::string &bad_argument,
100 #endif // CPROVER_ANALYSES_VARIABLE_SENSITIVITY_VARIABLE_SENSITIVITY_CONFIGURATION_H // NOLINT(*)
bool data_dependency_context
ABSTRACT_OBJECT_TYPET pointer_abstract_type
static const option_mappingt value_option_mappings
static vsd_configt value_set()
struct vsd_configt::@0 context_tracking
ABSTRACT_OBJECT_TYPET struct_abstract_type
static const option_mappingt pointer_option_mappings
static vsd_configt from_options(const optionst &options)
ABSTRACT_OBJECT_TYPET array_abstract_type
static const option_mappingt struct_option_mappings
static const option_mappingt array_option_mappings
static invalid_command_line_argument_exceptiont invalid_argument(const std::string &option_name, const std::string &bad_argument, const option_mappingt &mapping)
ABSTRACT_OBJECT_TYPET value_abstract_type
std::map< std::string, ABSTRACT_OBJECT_TYPET > option_mappingt
static vsd_configt intervals()
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)
ABSTRACT_OBJECT_TYPET union_abstract_type
flow_sensitivityt flow_sensitivity
static vsd_configt constant_domain()
static const option_mappingt union_option_mappings
struct vsd_configt::@1 advanced_sensitivities
Thrown when users pass incorrect command line arguments, for example passing no files to analysis or ...