|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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 |
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.
| std::string numpy_nditer_state::alias |
The name numpy is imported under, for the arrays an external loop yields.
| std::vector<std::size_t> numpy_nditer_state::axes |
Iteration axes, outermost first.
| long long numpy_nditer_state::chunk = 1 |
Elements per item: the chunk an external loop yields, 1 otherwise.
| std::vector<bool> numpy_nditer_state::flipped |
Axes visited from their last index down to 0.
| std::string numpy_nditer_state::index |
"C" or "F" for the index c_index or f_index tracks, empty for none.
| std::vector<numpy_nditer_operand> numpy_nditer_state::operands |
A 1-D iteration whose extent and direction are run-time values.
| std::vector<long long> numpy_nditer_state::shape |
| long long numpy_nditer_state::size = 0 |
| std::string numpy_nditer_state::state |