python_converter.h File Reference

#include <array>
#include <deque>
#include <functional>
#include <nlohmann/json.hpp>
#include <python-frontend/math/complex_handler.h>
#include <python-frontend/function_call/cache.h>
#include <python-frontend/module/global_scope.h>
#include <python-frontend/python-dict/python_dict_handler.h>
#include <python-frontend/dynamic_type/dynamic_type_handler.h>
#include <python-frontend/dynamic_type/literal_divergence.h>
#include <python-frontend/math/python_math.h>
#include <python-frontend/numpy/numpy_nditer.h>
#include <python-frontend/string/string_handler.h>
#include <python-frontend/type/element_type_registry.h>
#include <python-frontend/type/type_handler.h>
#include <python-frontend/type/type_utils.h>
#include <python-frontend/set/python_set.h>
#include <util/symtab/context.h>
#include <util/symtab/namespace.h>
#include <util/irep/std_code.h>
#include <util/symtab/symbol_generator.h>
#include <map>
#include <optional>
#include <set>
#include <tuple>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>

Include dependency graph for python_converter.h:

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

Go to the source code of this file.

Classes
struct	numpy_param_call_site
class	python_converter
	Main converter for transforming Python AST into ESBMC's intermediate representation. More...
struct	python_converter::scope_bindings
	How one scope binds a name: by an import, by anything else, or by a global/nonlocal declaration handing it to an outer scope. More...

Functions
bool	is_imported_numpy_module_alias (const nlohmann::json &ast, const std::string &name)

Function Documentation

is_imported_numpy_module_alias()

bool is_imported_numpy_module_alias	(	const nlohmann::json &	ast,
		const std::string &	name )