cprover
string_container.cpp File Reference

Container for C-Strings. More...

#include "string_container.h"
#include <cstring>
Include dependency graph for string_container.cpp:

Go to the source code of this file.

Functions

void initialize_string_container ()
 

Variables

string_containert string_container
 

Detailed Description

Container for C-Strings.

Definition in file string_container.cpp.

Function Documentation

◆ initialize_string_container()

void initialize_string_container ( )

Definition at line 46 of file irep_ids.cpp.

References irep_ids_table, and string_container.

Referenced by string_containert::string_containert().

Variable Documentation

◆ string_container

string_containert string_container