|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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 |
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.
| std::string numpy_nditer_item::iterator |
| std::size_t numpy_nditer_item::operand = 0 |
| std::string numpy_nditer_item::position |