cprover
irep.h File Reference
#include <string>
#include <vector>
#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

struct  ref_count_ift< enabled >
 Used in tree_nodet for activating or not reference counting. More...
 
struct  ref_count_ift< true >
 
class  tree_nodet< treet, sharing >
 A node with data in a tree, it contains: More...
 
class  sharing_treet< derivedt >
 Base class for tree-like data structures with sharing. More...
 
class  non_sharing_treet< derivedt >
 Base class for tree-like data structures without sharing. More...
 
class  irept
 There are a large number of kinds of tree structured or tree-like data in CPROVER. More...
 
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 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 60 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 64 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 68 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 72 of file irep.h.

◆ SHARING

#define SHARING

Definition at line 19 of file irep.h.

Typedef Documentation

◆ irep_id_hash

Definition at line 33 of file irep.h.

◆ irep_idt

typedef dstringt irep_idt

Definition at line 30 of file irep.h.

◆ irep_namet

Definition at line 31 of file irep.h.

Function Documentation

◆ get_nil_irep()

const irept& get_nil_irep ( )

Definition at line 51 of file irep.cpp.

◆ id2string()

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

Definition at line 42 of file irep.h.

◆ name2string()

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

Definition at line 51 of file irep.h.