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 97 of file acceleration_utils.h.

Member Data Documentation

array

exprt acceleration_utilst::polynomial_array_assignmentt::array

Definition at line 99 of file acceleration_utils.h.

index

polynomialt acceleration_utilst::polynomial_array_assignmentt::index

Definition at line 100 of file acceleration_utils.h.

value

polynomialt acceleration_utilst::polynomial_array_assignmentt::value

Definition at line 101 of file acceleration_utils.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/accelerate/acceleration_utils.h