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

One operand of an nditer: a named array or view and its layout in elements (a negative stride walks backwards, 0 repeats a broadcast axis). More...

#include <numpy_nditer.h>

Public Attributes

nlohmann::json array
bool writable = false
std::vector< long long > shape
std::vector< long long > strides
nlohmann::json extent
nlohmann::json stride
std::vector< long long > axes
 The operand axis each iteration axis reads (op_axes), -1 for a new axis; empty for the default alignment on the last axes.
typet dtype
 The dtype reads are cast to (op_dtypes); empty for the operand's own.
std::string buffer
 A writable operand read through a cast is buffered: the hidden list its items live in, in visiting order, copied back once the iterator is exhausted or closed.

Detailed Description

One operand of an nditer: a named array or view and its layout in elements (a negative stride walks backwards, 0 repeats a broadcast axis).

A 1-D view whose extent or stride is only known at run time keeps them as expressions in extent and stride.

Member Data Documentation

◆ array

nlohmann::json numpy_nditer_operand::array

◆ axes

std::vector<long long> numpy_nditer_operand::axes

The operand axis each iteration axis reads (op_axes), -1 for a new axis; empty for the default alignment on the last axes.

◆ buffer

std::string numpy_nditer_operand::buffer

A writable operand read through a cast is buffered: the hidden list its items live in, in visiting order, copied back once the iterator is exhausted or closed.

Empty when items are the operand's own elements.

◆ dtype

typet numpy_nditer_operand::dtype

The dtype reads are cast to (op_dtypes); empty for the operand's own.

◆ extent

nlohmann::json numpy_nditer_operand::extent

◆ shape

std::vector<long long> numpy_nditer_operand::shape

◆ stride

nlohmann::json numpy_nditer_operand::stride

◆ strides

std::vector<long long> numpy_nditer_operand::strides

◆ writable

bool numpy_nditer_operand::writable = false

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