acceleration_utilst::polynomial_array_assignmentt Struct Reference

#include <acceleration_utils.h>

Collaboration diagram for acceleration_utilst::polynomial_array_assignmentt:

Public Attributes
exprt	array
polynomialt	index
polynomialt	value

Detailed Description

Definition at line 80 of file acceleration_utils.h.

Member Data Documentation

array

exprt acceleration_utilst::polynomial_array_assignmentt::array

Definition at line 82 of file acceleration_utils.h.

Referenced by acceleration_utilst::array_assignments2polys().

index

polynomialt acceleration_utilst::polynomial_array_assignmentt::index

Definition at line 83 of file acceleration_utils.h.

Referenced by acceleration_utilst::array_assignments2polys().

value

polynomialt acceleration_utilst::polynomial_array_assignmentt::value

Definition at line 84 of file acceleration_utils.h.

Referenced by acceleration_utilst::array_assignments2polys().

---

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

• goto-instrument/accelerate/acceleration_utils.h