delpi  0.0.1
DElta-complete LP solver
Loading...
Searching...
No Matches
LpRowSense.h
1
7#pragma once
8
9#include <iosfwd>
10
11namespace delpi {
12
20enum class LpRowSense {
21 LT = 0,
22 EQ = 1,
23 LE = 2,
28};
29
35LpRowSense parseLpSense(char sense);
41char toChar(LpRowSense sense);
69
70std::ostream &operator<<(std::ostream &os, const LpRowSense &lp_result);
71
72} // namespace delpi
73
74#ifdef DELPI_INCLUDE_FMT
75
76#include "delpi/util/logging.h"
77
78OSTREAM_FORMATTER(delpi::LpRowSense)
79
80#endif
Global namespace for the delpi library.
LpRowSense parseLpSense(const char sense)
Parse the sense from a character.
LpResult operator~(const LpResult result)
Relax the result of the theory solver (i.e.
Definition LpResult.cpp:33
char toChar(const LpRowSense sense)
Convert the sense to a character.
LpRowSense
Sense of a linear programming row describing a constraint.
Definition LpRowSense.h:20
@ NQ
Not equal to.
Definition LpRowSense.h:26
@ EQ
Equal to.
Definition LpRowSense.h:22
@ LT
Less than.
Definition LpRowSense.h:21
@ IN
Inactive.
Definition LpRowSense.h:27
@ GT
Greater than.
Definition LpRowSense.h:25
@ LE
Less than or equal to.
Definition LpRowSense.h:23
@ GE
Greater than or equal to.
Definition LpRowSense.h:24
LpRowSense operator!(const LpRowSense sense)
Invert the sense with delta == 0.
LpRowSense operator-(const LpRowSense sense)
Invert the sense with delta > 0.