ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_list.h File Reference
#include <irep2/irep2.h>
#include <nlohmann/json.hpp>
#include <python-frontend/type/element_type_registry.h>
#include <util/irep/type.h>
#include <util/irep/expr.h>
#include <util/irep/std_expr.h>
#include <util/symtab/symbol.h>
#include <functional>
#include <optional>
#include <set>
#include <utility>
Include dependency graph for python_list.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  list_elem_info
struct  flat_array_shape_info
class  python_list
struct  python_list::strided_axis
 One axis of a strided view, in elements: its extent and stride are constants unless the matching expression is set (a signed 64-bit temporary computed at run time). More...
struct  python_list::strided_view_desc
 A numpy array or view as a scalar base pointer plus its axes: the descriptor every N-D view is built from. More...
struct  python_list::shallow_push_call
struct  python_list::list_eq_target