cprover
|
#include <rw_set.h>
Public Member Functions | |
rw_set_loct (const namespacet &_ns, value_setst &_value_sets, goto_programt::const_targett _target) | |
~rw_set_loct () | |
![]() | |
_rw_set_loct (const namespacet &_ns, value_setst &_value_sets, goto_programt::const_targett _target) | |
~_rw_set_loct () | |
![]() | |
rw_set_baset (const namespacet &_ns) | |
~rw_set_baset () | |
void | swap (rw_set_baset &other) |
rw_set_baset & | operator+= (const rw_set_baset &other) |
bool | empty () const |
bool | has_w_entry (irep_idt object) const |
bool | has_r_entry (irep_idt object) const |
void | output (std::ostream &out) const |
Additional Inherited Members | |
![]() | |
typedef std::unordered_map< irep_idt, entryt, irep_id_hash > | entriest |
![]() | |
entriest | r_entries |
entriest | w_entries |
![]() | |
void | read (const exprt &expr) |
void | read (const exprt &expr, const guardt &guard) |
void | write (const exprt &expr) |
void | compute () |
void | assign (const exprt &lhs, const exprt &rhs) |
void | read_write_rec (const exprt &expr, bool r, bool w, const std::string &suffix, const guardt &guard) |
![]() | |
virtual void | track_deref (const entryt &entry, bool read) |
virtual void | set_track_deref () |
virtual void | reset_track_deref () |
![]() | |
value_setst & | value_sets |
const goto_programt::const_targett | target |
![]() | |
const namespacet & | ns |
|
inline |
Definition at line 186 of file rw_set.h.
References _rw_set_loct::compute().