|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python-frontend/dynamic_type/literal_divergence.h>#include <python-frontend/json_utils.h>#include <python-frontend/module/global_scope.h>#include <python-frontend/module/module_manager.h>#include <python-frontend/module/module.h>#include <python-frontend/numpy/numpy_random.h>#include <python-frontend/python_converter.h>#include <python-frontend/type/type_utils.h>#include <python-frontend/python_annotation/annotation_intrinsics.h>#include <python-frontend/python_annotation/annotation_parser.h>#include <python-frontend/python_annotation/annotation_utils.h>#include <python-frontend/python_annotation/function_values.h>#include <util/message/message.h>#include <map>#include <set>#include <string>#include <unordered_map>#include <unordered_set>#include <utility>#include <python-frontend/python_annotation/annotation_conversion.inl>#include <python-frontend/python_annotation/annotation_expr.inl>#include <python-frontend/python_annotation/annotation_symbolic.inl>Go to the source code of this file.
Classes | |
| class | python_annotation< Json > |
Enumerations | |
| enum class | InferResult |
Functions | |
| const std::map< std::string, std::string > & | builtin_functions () |
| nlohmann::json | find_function_recursive (const std::string &func_name, const nlohmann::json &body) |
| nlohmann::json | find_lambda_in_body (const std::string &func_name, const nlohmann::json &body) |
| std::string | get_base_var_name (const nlohmann::json &node) |
| std::string | get_type_from_json (const nlohmann::json &value) |
| bool | has_annotation (const nlohmann::json &node) |
| bool | has_return_none (const nlohmann::json &body) |
| std::string | infer_type_from_default_arg_shape (const nlohmann::json &args_node) |
| std::string | invert_substrings (const std::string &input) |
|
strong |
| const std::map< std::string, std::string > & python_annotation_intrinsics::builtin_functions | ( | ) |
| nlohmann::json python_annotation_parser::find_function_recursive | ( | const std::string & | func_name, |
| const nlohmann::json & | body ) |
| nlohmann::json python_annotation_parser::find_lambda_in_body | ( | const std::string & | func_name, |
| const nlohmann::json & | body ) |
| std::string python_annotation_utils::get_base_var_name | ( | const nlohmann::json & | node | ) |
| std::string python_annotation_utils::get_type_from_json | ( | const nlohmann::json & | value | ) |
| bool python_annotation_utils::has_annotation | ( | const nlohmann::json & | node | ) |
| bool python_annotation_utils::has_return_none | ( | const nlohmann::json & | body | ) |
| std::string python_annotation_utils::infer_type_from_default_arg_shape | ( | const nlohmann::json & | args_node | ) |
| std::string python_annotation_utils::invert_substrings | ( | const std::string & | input | ) |