cprover
irep.h File Reference
#include <string>
#include <vector>
#include "deprecate.h"
#include "invariant.h"
#include "irep_ids.h"
#include <map>
+ 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
 Base class for tree-like data structures with sharing. More...
 
class  irept::dt
 
struct  irep_hash
 
struct  irep_full_hash
 
struct  irep_full_eq
 
struct  irep_pretty_diagnosticst
 
struct  diagnostics_helpert< irep_pretty_diagnosticst >
 

Macros

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

Typedefs

typedef dstringt irep_idt
 
typedef dstringt irep_namet
 
typedef dstring_hash irep_id_hash
 

Functions

const std::string & id2string (const irep_idt &d)
 
const std::string & name2string (const irep_namet &n)
 
const ireptget_nil_irep ()
 

Macro Definition Documentation

◆ 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.

◆ SHARING

#define SHARING

Definition at line 20 of file irep.h.

◆ USE_MOVE

#define USE_MOVE

Definition at line 22 of file irep.h.

Typedef Documentation

◆ irep_id_hash

Definition at line 35 of file irep.h.

◆ irep_idt

typedef dstringt irep_idt

Definition at line 32 of file irep.h.

◆ irep_namet

Definition at line 33 of file irep.h.

Function Documentation

◆ get_nil_irep()

const irept& get_nil_irep ( )

Definition at line 55 of file irep.cpp.

◆ id2string()

const std::string& id2string ( const irep_idt d)
inline

Definition at line 44 of file irep.h.

◆ name2string()

const std::string& name2string ( const irep_namet n)
inline

Definition at line 53 of file irep.h.