ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
irep.h File Reference
#include <cassert>
#include <list>
#include <map>
#include <string>
#include <vector>
#include <mutex>
#include <util/irep/irep_idt.h>
Include dependency graph for irep.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  irept
class  irept::dt
struct  irep_hash
struct  irep_full_hash
struct  irep_full_eq

Macros

#define SHARING
#define forall_irep(it, irep)
#define Forall_irep(it, irep)
#define forall_named_irep(it, irep)
#define Forall_named_irep(it, irep)

Typedefs

typedef std::hash< irep_idt > irep_id_hash

Functions

const std::string & id2string (const irep_idt &d)
const std::string & name2string (const irep_idt &n)
const irept & get_nil_irep ()

Macro Definition Documentation

◆ 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

#define SHARING

Typedef Documentation

◆ irep_id_hash

typedef std::hash<irep_idt> irep_id_hash

Function Documentation

◆ 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