string_builder.h File Reference

#include <util/irep/expr.h>
#include <util/irep/type.h>
#include <nlohmann/json.hpp>
#include <vector>
#include <string>
#include <cstdint>

Include dependency graph for string_builder.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	string_builder
	Helper class for building and manipulating string expressions in Python frontend Handles null-termination, character extraction, and string concatenation. More...