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

A name bound to what an nditer yields: the element (or the external-loop chunk) of one operand at the position captured when it was bound. More...

#include <numpy_nditer.h>

Public Attributes

std::string iterator
std::size_t operand = 0
std::string position

Detailed Description

A name bound to what an nditer yields: the element (or the external-loop chunk) of one operand at the position captured when it was bound.

Reads go to the operand, so the name is a view as in NumPy.

Member Data Documentation

◆ iterator

std::string numpy_nditer_item::iterator

◆ operand

std::size_t numpy_nditer_item::operand = 0

◆ position

std::string numpy_nditer_item::position

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