dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
Sense.h
1
13#pragma once
14
15#include <iosfwd>
16#include <string>
17
18namespace dlinear::mps {
19
23enum class Sense {
24 L,
25 E,
26 G,
27 N
28};
29
43Sense ParseSense(const std::string &sense);
57Sense ParseSense(const char sense[]);
70Sense ParseSense(char sense);
71
72std::ostream &operator<<(std::ostream &os, const Sense &sense);
73
74} // namespace dlinear::mps
75
76#ifdef DLINEAR_INCLUDE_FMT
77
78#include "dlinear/util/logging.h"
79
80OSTREAM_FORMATTER(dlinear::mps::Sense)
81
82#endif
Namespace for the MPS parser of the dlinear library.
Definition BoundType.cpp:13
Sense
Sense of a constraint row.
Definition Sense.h:23
@ N
No sense, used for the objective function.
@ L
Less or equal to.
@ G
Greater or equal to.
Sense ParseSense(const std::string &sense)
Parse a sense from a string.
Definition Sense.cpp:16