dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
LpResult.h
1
7#pragma once
8
9#include <ostream>
10
11namespace dlinear {
12
22
29std::ostream &operator<<(std::ostream &os, const LpResult &lp_result);
30
31} // namespace dlinear
32
33#ifdef DLINEAR_INCLUDE_FMT
34
35#include "dlinear/util/logging.h"
36
37OSTREAM_FORMATTER(dlinear::LpResult)
38
39#endif
Global namespace for the dlinear library.
LpResult
Result of running the LP solver over the input problem.
Definition LpResult.h:14
@ LP_INFEASIBLE
The problem is infeasible.
@ LP_NO_RESULT
No result has been obtained yet.
@ LP_UNBOUNDED
The problem is unbounded.
@ LP_UNSOLVED
The problem has not been solved. An error may have occurred.
@ LP_DELTA_OPTIMAL
The problem has been solved optimally, but with a delta.
@ LP_OPTIMAL
The problem has been solved optimally.
LpResult parseLpResult(int res)
Parse the result from the returned integer.