delpi  0.0.1
DElta-complete LP solver
Loading...
Searching...
No Matches
LpResult.h
1
7#pragma once
8
9#include <iosfwd>
10
11namespace delpi {
12
22
29bool IsFeasible(LpResult result);
30
38int ExitCode(LpResult result);
39
47std::ostream &operator<<(std::ostream &os, LpResult result);
48
49} // namespace delpi
50
51#ifdef DELPI_INCLUDE_FMT
52
53#include "delpi/util/logging.h"
54
55OSTREAM_FORMATTER(delpi::LpResult)
56
57#endif
Global namespace for the delpi library.
LpResult
Possible outcomes of the LP solver.
Definition LpResult.h:14
@ INFEASIBLE
The problem is infeasible.
Definition LpResult.h:19
@ DELTA_OPTIMAL
The delta-relaxation of the problem is optimal.
Definition LpResult.h:17
@ UNBOUNDED
The problem is unbounded.
Definition LpResult.h:18
@ ERROR
An error occurred.
Definition LpResult.h:20
@ OPTIMAL
The problem is optimal.
Definition LpResult.h:16
@ UNSOLVED
The solver has not yet been run.
Definition LpResult.h:15
bool IsFeasible(const LpResult result)
Check if the result obtained by the LpSolver implies that the problem is feasible.
Definition LpResult.cpp:43
LpResult operator~(const LpResult result)
Relax the result of the theory solver (i.e.
Definition LpResult.cpp:33
int ExitCode(const LpResult result)
Convert the result in.
Definition LpResult.cpp:53