CBMC
Public Attributes | List of all members
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 120 of file polynomial_accelerator.h.

Member Data Documentation

◆ array

exprt polynomial_acceleratort::polynomial_array_assignment::array

Definition at line 122 of file polynomial_accelerator.h.

◆ index

polynomialt polynomial_acceleratort::polynomial_array_assignment::index

Definition at line 123 of file polynomial_accelerator.h.

◆ value

polynomialt polynomial_acceleratort::polynomial_array_assignment::value

Definition at line 124 of file polynomial_accelerator.h.

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