delpi
0.0.1
DElta-complete LP solver
Toggle main menu visibility
Loading...
Searching...
No Matches
LpRowSense.h
1
7
#pragma once
8
9
#include <iosfwd>
10
11
namespace
delpi
{
12
20
enum class
LpRowSense
{
21
LT
= 0,
22
EQ
= 1,
23
LE
= 2,
24
GE
,
25
GT
,
26
NQ
,
27
IN
,
28
};
29
35
LpRowSense
parseLpSense
(
char
sense);
41
char
toChar
(
LpRowSense
sense);
50
LpRowSense
operator!
(
LpRowSense
sense);
60
LpRowSense
operator-
(
LpRowSense
sense);
68
LpRowSense
operator~
(
LpRowSense
sense);
69
70
std::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
78
OSTREAM_FORMATTER(
delpi::LpRowSense
)
79
80
#endif
delpi
Global namespace for the delpi library.
delpi::parseLpSense
LpRowSense parseLpSense(const char sense)
Parse the sense from a character.
Definition
LpRowSense.cpp:14
delpi::operator~
LpResult operator~(const LpResult result)
Relax the result of the theory solver (i.e.
Definition
LpResult.cpp:33
delpi::toChar
char toChar(const LpRowSense sense)
Convert the sense to a character.
Definition
LpRowSense.cpp:38
delpi::LpRowSense
LpRowSense
Sense of a linear programming row describing a constraint.
Definition
LpRowSense.h:20
delpi::LpRowSense::NQ
@ NQ
Not equal to.
Definition
LpRowSense.h:26
delpi::LpRowSense::EQ
@ EQ
Equal to.
Definition
LpRowSense.h:22
delpi::LpRowSense::LT
@ LT
Less than.
Definition
LpRowSense.h:21
delpi::LpRowSense::IN
@ IN
Inactive.
Definition
LpRowSense.h:27
delpi::LpRowSense::GT
@ GT
Greater than.
Definition
LpRowSense.h:25
delpi::LpRowSense::LE
@ LE
Less than or equal to.
Definition
LpRowSense.h:23
delpi::LpRowSense::GE
@ GE
Greater than or equal to.
Definition
LpRowSense.h:24
delpi::operator!
LpRowSense operator!(const LpRowSense sense)
Invert the sense with delta == 0.
Definition
LpRowSense.cpp:59
delpi::operator-
LpRowSense operator-(const LpRowSense sense)
Invert the sense with delta > 0.
Definition
LpRowSense.cpp:80
delpi
solver
LpRowSense.h
Generated by
1.17.0