ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_list::strided_view_desc Struct Reference

A numpy array or view as a scalar base pointer plus its axes: the descriptor every N-D view is built from. More...

#include <python_list.h>

Public Attributes

exprt base
typet elem_type
std::vector< strided_axis > axes
bool readonly = false
 A view of a read-only view (broadcast_to, diagonal) is read-only.

Detailed Description

A numpy array or view as a scalar base pointer plus its axes: the descriptor every N-D view is built from.

Member Data Documentation

◆ axes

std::vector<strided_axis> python_list::strided_view_desc::axes

◆ base

exprt python_list::strided_view_desc::base

◆ elem_type

typet python_list::strided_view_desc::elem_type

◆ readonly

bool python_list::strided_view_desc::readonly = false

A view of a read-only view (broadcast_to, diagonal) is read-only.


The documentation for this struct was generated from the following file: