cprover
value_set_fi.cpp File Reference

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

#include "value_set_fi.h"
#include <cassert>
#include <ostream>
#include <util/symbol_table.h>
#include <util/simplify_expr.h>
#include <util/base_type.h>
#include <util/std_expr.h>
#include <util/prefix.h>
#include <util/std_code.h>
#include <util/arith_tools.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

§ Forall_objects

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

Definition at line 39 of file value_set_fi.cpp.

Referenced by value_set_fit::flatten_rec().

Variable Documentation

§ alloc_adapter_prefix

const char* alloc_adapter_prefix ="alloc_adaptor::"
static

Definition at line 32 of file value_set_fi.cpp.

Referenced by value_set_fit::get_value_set_rec().