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

Member Data Documentation

◆ array

exprt acceleration_utilst::polynomial_array_assignmentt::array

Definition at line 94 of file acceleration_utils.h.

Referenced by acceleration_utilst::array_assignments2polys().

◆ index

polynomialt acceleration_utilst::polynomial_array_assignmentt::index

Definition at line 95 of file acceleration_utils.h.

Referenced by acceleration_utilst::array_assignments2polys().

◆ value

polynomialt acceleration_utilst::polynomial_array_assignmentt::value

Definition at line 96 of file acceleration_utils.h.

Referenced by acceleration_utilst::array_assignments2polys().


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