#include <util/bitvector_types.h>#include <util/config.h>#include <util/namespace.h>#include <util/std_expr.h>#include "goto_function.h"#include <map>
Include dependency graph for string_abstraction.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | string_abstractiont |
Replace all uses of char * by a struct that carries that string, and also the underlying allocation and the C string length. More... | |
Functions | |
| void | string_abstraction (goto_modelt &, message_handlert &) |
Detailed Description
String Abstraction
Definition in file string_abstraction.h.
Function Documentation
◆ string_abstraction()
| void string_abstraction | ( | goto_modelt & | , |
| message_handlert & | |||
| ) |
Definition at line 72 of file string_abstraction.cpp.
