
Public Attributes | |
| bool | automatic |
| Whether bounds are automatically selected for computing based on approximate solver output. | |
| double | bound_quality |
| Relative accuracy of the computed bounds. | |
| Enclosure | condition |
| Data for enclosure of condition number. | |
| Certificate | dual |
| The dual certificates data. | |
| bool | is_maximize |
| Whether objective is to be maximized. | |
| Bound | lower |
| The lower bound's data. | |
| const char * | name |
| Name of the model. | |
| double | optimal_value |
| Approximate optimal value from solver. | |
| char * | path |
| Path to the lp file. | |
| Certificate | primal |
| The primal certificates data. | |
| Enclosure | rho_d |
| Data for enclosure of distance to dual infeasibility. | |
| Enclosure | rho_p |
| Data for enclosure of distance to primal infeasibility. | |
| double | solve_proc_time |
| Process time needed to solve the lp in seconds. | |
| double | solve_realtime |
| Wall clock time needed to solve the lp in seconds. | |
| const char * | solve_time_status |
| Status of the time taken (i.e., if any wrap around is possible / occurred). | |
| Solver_status | status |
| Status of the solver (e.g., found optimal solution, model unbounded, failure while solving). | |
| double | total_proc_time |
| Process time needed to solve the lp in seconds. | |
| double | total_realtime |
| Wall clock time needed to solve the lp in seconds. | |
| const char * | total_time_status |
| Status of the time taken (i.e., if any wrap around is possible / occurred). | |
| Bound | upper |
| The upper bound's data. | |
This structure aggregates information about a linear program. The path to its file representation, information about the model itself, about the lp-solver solving the model and about the bounds for the optimal value.
1.5.6