One axis of a strided view, in elements: its extent and stride are constants unless the matching expression is set (a signed 64-bit temporary computed at run time). More...

#include <python_list.h>

Public Member Functions
bool	symbolic () const

Public Attributes
long long	extent = 0
exprt	extent_expr = nil_exprt()
long long	stride = 0
exprt	stride_expr = nil_exprt()

Detailed Description

One axis of a strided view, in elements: its extent and stride are constants unless the matching expression is set (a signed 64-bit temporary computed at run time).

Member Function Documentation

◆ symbolic()

bool python_list::strided_axis::symbolic ( ) const

inline

Member Data Documentation

◆ extent

long long python_list::strided_axis::extent = 0

◆ extent_expr

exprt python_list::strided_axis::extent_expr = nil_exprt()

◆ stride

long long python_list::strided_axis::stride = 0

◆ stride_expr

exprt python_list::strided_axis::stride_expr = nil_exprt()

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

src/python-frontend/python-list/python_list.h

Public Member Functions

Public Attributes