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

The static description of an np.nditer: its operands, the iteration shape, and the order the positions are visited in. More...

#include <numpy_nditer.h>

Public Attributes

std::string state
std::string alias
 The name numpy is imported under, for the arrays an external loop yields.
std::vector< numpy_nditer_operand > operands
std::vector< long long > shape
std::vector< std::size_t > axes
 Iteration axes, outermost first.
std::vector< bool > flipped
 Axes visited from their last index down to 0.
bool runtime = false
 A 1-D iteration whose extent and direction are run-time values.
bool flip_negative = false
bool multi_index = false
std::string index
 "C" or "F" for the index c_index or f_index tracks, empty for none.
bool external_loop = false
bool buffered = false
long long chunk = 1
 Elements per item: the chunk an external loop yields, 1 otherwise.
long long size = 0

Detailed Description

The static description of an np.nditer: its operands, the iteration shape, and the order the positions are visited in.

The position itself lives in hidden Python variables named after state.

Member Data Documentation

◆ alias

std::string numpy_nditer_state::alias

The name numpy is imported under, for the arrays an external loop yields.

◆ axes

std::vector<std::size_t> numpy_nditer_state::axes

Iteration axes, outermost first.

◆ buffered

bool numpy_nditer_state::buffered = false

◆ chunk

long long numpy_nditer_state::chunk = 1

Elements per item: the chunk an external loop yields, 1 otherwise.

◆ external_loop

bool numpy_nditer_state::external_loop = false

◆ flip_negative

bool numpy_nditer_state::flip_negative = false

◆ flipped

std::vector<bool> numpy_nditer_state::flipped

Axes visited from their last index down to 0.

◆ index

std::string numpy_nditer_state::index

"C" or "F" for the index c_index or f_index tracks, empty for none.

◆ multi_index

bool numpy_nditer_state::multi_index = false

◆ operands

std::vector<numpy_nditer_operand> numpy_nditer_state::operands

◆ runtime

bool numpy_nditer_state::runtime = false

A 1-D iteration whose extent and direction are run-time values.

◆ shape

std::vector<long long> numpy_nditer_state::shape

◆ size

long long numpy_nditer_state::size = 0

◆ state

std::string numpy_nditer_state::state

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