#include <iosfwd>
#include <limits>
#include <map>
#include <memory>
#include "guard.h"
#include <goto-programs/goto_model.h>
Go to the source code of this file.
◆ forall_rw_range_set_r_objects
#define forall_rw_range_set_r_objects |
( |
|
it, |
|
|
|
rw_set |
|
) |
| |
Value: for(rw_range_sett::objectst::const_iterator it=(rw_set).get_r_set().begin(); \
it!=(rw_set).get_r_set().end(); ++it)
Definition at line 24 of file goto_rw.h.
◆ forall_rw_range_set_w_objects
#define forall_rw_range_set_w_objects |
( |
|
it, |
|
|
|
rw_set |
|
) |
| |
Value: for(rw_range_sett::objectst::const_iterator it=(rw_set).get_w_set().begin(); \
it!=(rw_set).get_w_set().end(); ++it)
Definition at line 28 of file goto_rw.h.
◆ range_spect
◆ goto_rw() [1/3]
◆ goto_rw() [2/3]
◆ goto_rw() [3/3]
◆ operator<<()
std::ostream& operator<< |
( |
std::ostream & |
out, |
|
|
const rw_range_sett & |
rw_set |
|
) |
| |
|
inline |
◆ to_range_spect()