CBMC
irep.cpp File Reference

Internal Representation. More...

#include "irep.h"
#include "string2int.h"
#include "irep_hash.h"
+ Include dependency graph for irep.cpp:

Go to the source code of this file.

Functions

const ireptget_nil_irep ()
 
static void indent_str (std::string &s, unsigned indent)
 

Variables

irept nil_rep_storage
 

Detailed Description

Internal Representation.

Definition in file irep.cpp.

Function Documentation

◆ get_nil_irep()

const irept& get_nil_irep ( )

Definition at line 19 of file irep.cpp.

◆ indent_str()

static void indent_str ( std::string &  s,
unsigned  indent 
)
static

Definition at line 476 of file irep.cpp.

Variable Documentation

◆ nil_rep_storage

irept nil_rep_storage

Definition at line 17 of file irep.cpp.