ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_list_internal.h
Go to the documentation of this file.
1
#pragma once
2
3
// Shared include bundle for the python-list module translation units. This is
4
// the exact set of headers the original monolithic python_list.cpp pulled in,
5
// so every split unit sees the same declarations it did before the refactor.
6
#include <
python-frontend/python-list/python_list.h
>
7
#include <
python-frontend/python_expr_builder.h
>
8
#include <
python-frontend/python_converter.h
>
9
#include <
python-frontend/tuple/tuple_handler.h
>
10
#include <
util/lang/c_types.h
>
11
#include <
python-frontend/exception/python_exception_handler.h
>
12
#include <
python-frontend/function_call/expr.h
>
13
#include <
python-frontend/type/type_handler.h
>
14
#include <
python-frontend/json_utils.h
>
15
#include <
python-frontend/symbol_id.h
>
16
#include <
python-frontend/string/string_builder.h
>
17
#include <
python-frontend/type/type_utils.h
>
18
#include <
util/irep/expr.h
>
19
#include <
util/irep/type.h
>
20
#include <
util/symtab/symbol.h
>
21
#include <
util/expr/expr_util.h
>
22
#include <
util/arith/arith_tools.h
>
23
#include <
python-frontend/python_frontend_limits.h
>
24
#include <
util/irep/std_code.h
>
25
#include <
util/irep/std_expr.h
>
26
#include <
util/arith/mp_arith.h
>
27
#include <
util/lang/python_types.h
>
28
#include <
util/expr/symbolic_types.h
>
29
#include <
util/config/config.h
>
30
#include <
irep2/irep2_utils.h
>
31
#include <
util/irep/migrate.h
>
32
#include <
util/expr/type_byte_size.h
>
33
#include <string>
34
#include <functional>
35
36
#include "
list_type_inference.h
"
37
38
// Row-major element strides of a contiguous array of `shape`.
39
inline
std::vector<long long>
40
contiguous_strides
(
const
std::vector<long long> &shape)
41
{
42
std::vector<long long> strides(shape.size(), 1);
43
for
(std::size_t axis = shape.size(); axis-- > 1;)
44
strides[axis - 1] = strides[axis] * shape[axis];
45
return
strides;
46
}
arith_tools.h
c_types.h
config.h
expr_util.h
irep2_utils.h
json_utils.h
list_type_inference.h
migrate.h
mp_arith.h
expr.h
python_converter.h
python_exception_handler.h
python_expr_builder.h
python_frontend_limits.h
python_list.h
contiguous_strides
std::vector< long long > contiguous_strides(const std::vector< long long > &shape)
Definition
python_list_internal.h:40
std_code.h
std_expr.h
string_builder.h
symbol_id.h
symbolic_types.h
symbol.h
tuple_handler.h
type.h
type_byte_size.h
type_handler.h
type_utils.h
expr.h
python_types.h
src
python-frontend
python-list
python_list_internal.h
Generated by
1.15.0