ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
rw_set.h File Reference
#include <pointer-analysis/value_sets.h>
#include <util/expr/expr_util.h>
#include <irep2/irep2_guard.h>
#include <util/symtab/namespace.h>
#include <util/irep/std_code.h>
#include <unordered_set>
Include dependency graph for rw_set.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  rw_sett
struct  rw_sett::entryt

Macros

#define forall_rw_set_entries(it, rw_set)

Macro Definition Documentation

◆ forall_rw_set_entries

#define forall_rw_set_entries ( it,
rw_set )
Value:
for (rw_sett::entriest::const_iterator it = (rw_set).entries.begin(); \
it != (rw_set).entries.end(); \
it++)