CBMC
Loading...
Searching...
No Matches
Functions | Variables
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 irept &  get_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.

AltStyle によって変換されたページ (->オリジナル) /