|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Attributes | |
| std::vector< std::vector< double > > | lu |
| std::vector< std::size_t > | rows |
| double | sign = 1.0 |
| std::vector<std::vector<double> > exact_lu_factors::lu |
| std::vector<std::size_t> exact_lu_factors::rows |
| double exact_lu_factors::sign = 1.0 |