#include <cassert>
#include <list>
#include <map>
#include <string>
#include <vector>
#include <mutex>
#include <util/irep/irep_idt.h>
Go to the source code of this file.
◆ Forall_irep
| #define Forall_irep |
( |
| it, |
|
|
| irep ) |
Value: for (irept::subt::iterator it = (irep).begin(); it != (irep).end(); it++)
◆ forall_irep
| #define forall_irep |
( |
| it, |
|
|
| irep ) |
Value: for (irept::subt::const_iterator it = (irep).begin(); it != (irep).end(); \
it++)
◆ Forall_named_irep
| #define Forall_named_irep |
( |
| it, |
|
|
| irep ) |
Value: for (irept::named_subt::iterator it = (irep).begin(); it != (irep).end(); \
it++)
◆ forall_named_irep
| #define forall_named_irep |
( |
| it, |
|
|
| irep ) |
Value: for (irept::named_subt::const_iterator it = (irep).begin(); \
it != (irep).end(); \
it++)
◆ SHARING
◆ irep_id_hash
◆ get_nil_irep()
| const irept & get_nil_irep |
( |
| ) |
|
◆ id2string()
| const std::string & id2string |
( |
const irep_idt & | d | ) |
|
|
externinline |
◆ name2string()
| const std::string & name2string |
( |
const irep_idt & | n | ) |
|
|
externinline |