#include <string>
#include <vector>
#include "invariant.h"
#include "irep_ids.h"
#include <map>
Go to the source code of this file.
◆ forall_irep
#define forall_irep |
( |
|
it, |
|
|
|
irep |
|
) |
| |
Value: for(irept::subt::const_iterator it=(irep).begin(); \
it!=(irep).end(); ++it)
Definition at line 62 of file irep.h.
◆ Forall_irep
#define Forall_irep |
( |
|
it, |
|
|
|
irep |
|
) |
| |
Value: for(irept::subt::iterator it=(irep).begin(); \
it!=(irep).end(); ++it)
Definition at line 66 of file irep.h.
◆ forall_named_irep
#define forall_named_irep |
( |
|
it, |
|
|
|
irep |
|
) |
| |
Value: for(irept::named_subt::const_iterator it=(irep).begin(); \
it!=(irep).end(); ++it)
Definition at line 70 of file irep.h.
◆ Forall_named_irep
#define Forall_named_irep |
( |
|
it, |
|
|
|
irep |
|
) |
| |
Value: for(irept::named_subt::iterator it=(irep).begin(); \
it!=(irep).end(); ++it)
Definition at line 74 of file irep.h.
◆ HASH_CODE
◆ SHARING
◆ irep_id_hash
◆ irep_idt
◆ irep_namet
◆ get_nil_irep()
const irept& get_nil_irep |
( |
| ) |
|
◆ id2string()
const std::string& id2string |
( |
const irep_idt & |
d | ) |
|
|
inline |
◆ name2string()
const std::string& name2string |
( |
const irep_namet & |
n | ) |
|
|
inline |