delpi
0.0.1
DElta-complete LP solver
Toggle main menu visibility
Loading...
Searching...
No Matches
LpResult.h
1
7
#pragma once
8
9
#include <iosfwd>
10
11
namespace
delpi
{
12
14
enum class
LpResult
{
15
UNSOLVED
,
16
OPTIMAL
,
17
DELTA_OPTIMAL
,
18
UNBOUNDED
,
19
INFEASIBLE
,
20
ERROR
,
21
};
22
29
bool
IsFeasible
(
LpResult
result);
30
38
int
ExitCode
(
LpResult
result);
39
46
LpResult
operator~
(
LpResult
result);
47
std::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
55
OSTREAM_FORMATTER(
delpi::LpResult
)
56
57
#endif
delpi
Global namespace for the delpi library.
delpi::LpResult
LpResult
Possible outcomes of the LP solver.
Definition
LpResult.h:14
delpi::LpResult::INFEASIBLE
@ INFEASIBLE
The problem is infeasible.
Definition
LpResult.h:19
delpi::LpResult::DELTA_OPTIMAL
@ DELTA_OPTIMAL
The delta-relaxation of the problem is optimal.
Definition
LpResult.h:17
delpi::LpResult::UNBOUNDED
@ UNBOUNDED
The problem is unbounded.
Definition
LpResult.h:18
delpi::LpResult::ERROR
@ ERROR
An error occurred.
Definition
LpResult.h:20
delpi::LpResult::OPTIMAL
@ OPTIMAL
The problem is optimal.
Definition
LpResult.h:16
delpi::LpResult::UNSOLVED
@ UNSOLVED
The solver has not yet been run.
Definition
LpResult.h:15
delpi::IsFeasible
bool IsFeasible(const LpResult result)
Check if the result obtained by the LpSolver implies that the problem is feasible.
Definition
LpResult.cpp:43
delpi::operator~
LpResult operator~(const LpResult result)
Relax the result of the theory solver (i.e.
Definition
LpResult.cpp:33
delpi::ExitCode
int ExitCode(const LpResult result)
Convert the result in.
Definition
LpResult.cpp:53
delpi
solver
LpResult.h
Generated by
1.17.0