cprover
linear_recurrencet Struct Reference

#include <linearize.h>

Collaboration diagram for linear_recurrencet:
[legend]

Public Attributes

Eigen::MatrixXd matrix
 
std::vector< exprtvars
 

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: