cprover
acceleration_utilst::polynomial_array_assignmentt Struct Reference

#include <acceleration_utils.h>

Collaboration diagram for acceleration_utilst::polynomial_array_assignmentt:
[legend]

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: