string_handler.h File Reference

#include <util/irep/expr.h>
#include <util/irep/std_types.h>
#include <util/arith/arith_tools.h>
#include <util/lang/c_types.h>
#include <util/symtab/context.h>
#include <util/message/message.h>
#include <nlohmann/json.hpp>
#include <optional>
#include <string>
#include <unordered_map>
#include <vector>

Include dependency graph for string_handler.h:

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

Go to the source code of this file.

Classes
class	string_handler
	Handles all string-related operations for Python-to-C conversion. More...