dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
BoundType.h
1
15#pragma once
16
17#include <iosfwd>
18#include <string>
19
20namespace dlinear::mps {
21
27enum class BoundType {
28 LO, // Lower bound
29 LI, // Lower bound integer
30 UP, // Upper bound
31 UI, // Upper bound integer
32 FX, // Fixed bound (lower and upper bound are equal)
33 FR, // Free bound (lower and upper bound are -/+ infinity)
34 MI, // Minus infinity (lower bound is -infinity)
35 PL, // Plus infinity (upper bound is +infinity)
36 BV, // Binary variable (either 0 or 1)
37};
38
58BoundType ParseBoundType(const std::string &bound_type);
78BoundType ParseBoundType(const char bound_type[]);
79
80std::ostream &operator<<(std::ostream &os, const BoundType &bound);
81
82} // namespace dlinear::mps
83
84#ifdef DLINEAR_INCLUDE_FMT
85
86#include "dlinear/util/logging.h"
87
88OSTREAM_FORMATTER(dlinear::mps::BoundType)
89
90#endif
Namespace for the MPS parser of the dlinear library.
Definition BoundType.cpp:13
BoundType
Bound type.
Definition BoundType.h:27
BoundType ParseBoundType(const std::string &bound_type)
Parse a bound type from a string.
Definition BoundType.cpp:15