|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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. | |
A numpy array or view as a scalar base pointer plus its axes: the descriptor every N-D view is built from.
| std::vector<strided_axis> python_list::strided_view_desc::axes |
| exprt python_list::strided_view_desc::base |
| typet python_list::strided_view_desc::elem_type |
A view of a read-only view (broadcast_to, diagonal) is read-only.