polynomial_acceleratort::polynomial_array_assignment Struct Reference

#include <polynomial_accelerator.h>

Collaboration diagram for polynomial_acceleratort::polynomial_array_assignment:

Public Attributes
exprt	array
polynomialt	index
polynomialt	value

Detailed Description

Definition at line 122 of file polynomial_accelerator.h.

Member Data Documentation

array

exprt polynomial_acceleratort::polynomial_array_assignment::array

Definition at line 124 of file polynomial_accelerator.h.

index

polynomialt polynomial_acceleratort::polynomial_array_assignment::index

Definition at line 125 of file polynomial_accelerator.h.

value

polynomialt polynomial_acceleratort::polynomial_array_assignment::value

Definition at line 126 of file polynomial_accelerator.h.

---

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

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