|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python-frontend/numpy/numpy_reducer_shared.h>#include <python-frontend/function_call/expr.h>#include <python-frontend/python-list/python_list.h>#include <nlohmann/json.hpp>#include <functional>#include <optional>#include <utility>#include <vector>Go to the source code of this file.
Classes | |
| class | numpy_call_expr |
Functions | |
| std::string | extract_numpy_dtype_name (const nlohmann::json &dtype_node, const nlohmann::json &ast) |
| The normalized scalar dtype a dtype= argument names, or a specific rejection when it names none. | |
| nlohmann::json | numpy_literal_with_dtype (const nlohmann::json &call, const nlohmann::json &ast) |
| The literal np.array(literal, dtype=...) stores, cast to its dtype. | |
| std::string extract_numpy_dtype_name | ( | const nlohmann::json & | dtype_node, |
| const nlohmann::json & | ast ) |
The normalized scalar dtype a dtype= argument names, or a specific rejection when it names none.
| nlohmann::json numpy_literal_with_dtype | ( | const nlohmann::json & | call, |
| const nlohmann::json & | ast ) |
The literal np.array(literal, dtype=...) stores, cast to its dtype.