linear_recurrencet Struct Reference

#include <linearize.h>

Collaboration diagram for linear_recurrencet:

Public Attributes
Eigen::MatrixXd	matrix
std::vector< exprt >	vars

Detailed Description

Definition at line 31 of file linearize.h.

Member Data Documentation

matrix

Eigen::MatrixXd linear_recurrencet::matrix

Definition at line 33 of file linearize.h.

vars

std::vector<exprt> linear_recurrencet::vars

Definition at line 34 of file linearize.h.

---

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

• goto-instrument/accelerate/linearize.h