cprover
|
#include <linearize.h>
Public Attributes | |
Eigen::MatrixXd | matrix |
std::vector< exprt > | vars |
Definition at line 31 of file linearize.h.
Eigen::MatrixXd linear_recurrencet::matrix |
Definition at line 33 of file linearize.h.
std::vector<exprt> linear_recurrencet::vars |
Definition at line 34 of file linearize.h.