18#include "absl/strings/str_cat.h"
24constexpr double kInf = std::numeric_limits<double>::infinity();
27 const int64_t bad_variable_id,
28 const double lb,
const double ub) {
32 absl::StrCat(
"Problem had one or more integer variables with no integers "
33 "in domain, e.g. integer variable with id: ",
40 const double objective_value = is_maximize ? -
kInf :
kInf;
void set_primal_status(::operations_research::math_opt::FeasibilityStatusProto value)
void set_dual_status(::operations_research::math_opt::FeasibilityStatusProto value)
::operations_research::math_opt::TerminationProto *PROTOBUF_NONNULL mutable_termination()
::operations_research::math_opt::SolveStatsProto *PROTOBUF_NONNULL mutable_solve_stats()
void set_best_dual_bound(double value)
::operations_research::math_opt::ProblemStatusProto *PROTOBUF_NONNULL mutable_problem_status()
void set_best_primal_bound(double value)
void set_detail(Arg_ &&arg, Args_... args)
void set_reason(::operations_research::math_opt::TerminationReasonProto value)
An object oriented wrapper for quadratic constraints in ModelStorage.
@ TERMINATION_REASON_INFEASIBLE
@ FEASIBILITY_STATUS_UNDETERMINED
@ FEASIBILITY_STATUS_INFEASIBLE
SolveResultProto ResultForIntegerInfeasible(const bool is_maximize, const int64_t bad_variable_id, const double lb, const double ub)