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

Member Data Documentation

◆ array

exprt acceleration_utilst::polynomial_array_assignmentt::array

Definition at line 97 of file acceleration_utils.h.

◆ index

polynomialt acceleration_utilst::polynomial_array_assignmentt::index

Definition at line 98 of file acceleration_utils.h.

◆ value

polynomialt acceleration_utilst::polynomial_array_assignmentt::value

Definition at line 99 of file acceleration_utils.h.

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