cprover
irep.cpp File Reference
#include "irep.h"
#include <ostream>
#include "string2int.h"
#include "string_hash.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 26 of file irep.cpp.

◆ indent_str()

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

Definition at line 482 of file irep.cpp.

Variable Documentation

◆ nil_rep_storage

irept nil_rep_storage

Definition at line 24 of file irep.cpp.