ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
exact_lu_factors Struct Reference

Public Attributes

std::vector< std::vector< double > > lu
std::vector< std::size_t > rows
double sign = 1.0

Member Data Documentation

◆ lu

std::vector<std::vector<double> > exact_lu_factors::lu

◆ rows

std::vector<std::size_t> exact_lu_factors::rows

◆ sign

double exact_lu_factors::sign = 1.0

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