cprover
value_set_fi.cpp File Reference

Value Set (Flow Insensitive, Sharing) More...

#include "value_set_fi.h"
#include <cassert>
#include <iterator>
#include <ostream>
#include <util/arith_tools.h>
#include <util/byte_operators.h>
#include <util/prefix.h>
#include <util/simplify_expr.h>
#include <util/std_code.h>
#include <util/std_expr.h>
#include <util/symbol_table.h>
#include <langapi/language_util.h>
#include <util/c_types.h>
+ Include dependency graph for value_set_fi.cpp:

Go to the source code of this file.

Macros

#define forall_objects(it, map)
 
#define Forall_objects(it, map)
 

Variables

static const char * alloc_adapter_prefix ="alloc_adaptor::"
 

Detailed Description

Value Set (Flow Insensitive, Sharing)

Definition in file value_set_fi.cpp.

Macro Definition Documentation

◆ forall_objects

#define forall_objects (   it,
  map 
)
Value:
for(object_map_dt::const_iterator it = (map).begin(); \
it!=(map).end(); \
(it)++)

Definition at line 36 of file value_set_fi.cpp.

◆ Forall_objects

#define Forall_objects (   it,
  map 
)
Value:
for(object_map_dt::iterator it = (map).begin(); \
it!=(map).end(); \
(it)++)

Definition at line 41 of file value_set_fi.cpp.

Variable Documentation

◆ alloc_adapter_prefix

const char* alloc_adapter_prefix ="alloc_adaptor::"
static

Definition at line 34 of file value_set_fi.cpp.