#include <map>
#include <util/exception_utils.h>

Include dependency graph for variable_sensitivity_configuration.h:

This graph shows which files directly or indirectly include this file:

Enumerations
enum	ABSTRACT_OBJECT_TYPET { TWO_VALUE, CONSTANT, INTERVAL, ARRAY_SENSITIVE, ARRAY_INSENSITIVE, VALUE_SET_OF_POINTERS, POINTER_SENSITIVE, POINTER_INSENSITIVE, STRUCT_SENSITIVE, STRUCT_INSENSITIVE, UNION_INSENSITIVE, VALUE_SET, HEAP_ALLOCATION }

enum	flow_sensitivityt { flow_sensitivityt::sensitive, flow_sensitivityt::insensitive }

Detailed Description

Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc

Enumeration Type Documentation

strong

Enumerator
sensitive
insensitive