cprover
|
Race Detection for Threaded Goto Programs. More...
#include <iosfwd>
#include <vector>
#include <set>
#include <util/std_expr.h>
#include <goto-programs/goto_model.h>
Go to the source code of this file.
Classes | |
class | rw_set_baset |
struct | rw_set_baset::entryt |
class | _rw_set_loct |
class | rw_set_loct |
class | rw_set_functiont |
class | rw_set_with_trackt |
Macros | |
#define | forall_rw_set_r_entries(it, rw_set) |
#define | forall_rw_set_w_entries(it, rw_set) |
Functions | |
std::ostream & | operator<< (std::ostream &out, const rw_set_baset &rw_set) |
Race Detection for Threaded Goto Programs.
Definition in file rw_set.h.
#define forall_rw_set_r_entries | ( | it, | |
rw_set | |||
) |
#define forall_rw_set_w_entries | ( | it, | |
rw_set | |||
) |
|
inline |