22 switch (problem_status) {
26 return "PRIMAL_INFEASIBLE";
28 return "DUAL_INFEASIBLE";
30 return "INFEASIBLE_OR_UNBOUNDED";
32 return "PRIMAL_UNBOUNDED";
34 return "DUAL_UNBOUNDED";
38 return "PRIMAL_FEASIBLE";
40 return "DUAL_FEASIBLE";
44 return "INVALID_PROBLEM";
50 LOG(DFATAL) <<
"Invalid ProblemStatus " <<
static_cast<int>(problem_status);
51 return "UNKNOWN ProblemStatus";
55 switch (variable_type) {
57 return "UNCONSTRAINED";
59 return "LOWER_BOUNDED";
61 return "UPPER_BOUNDED";
63 return "UPPER_AND_LOWER_BOUNDED";
65 return "FIXED_VARIABLE";
69 LOG(DFATAL) <<
"Invalid VariableType " <<
static_cast<int>(variable_type);
70 return "UNKNOWN VariableType";
78 return "AT_LOWER_BOUND";
80 return "AT_UPPER_BOUND";
88 LOG(DFATAL) <<
"Invalid VariableStatus " <<
static_cast<int>(
status);
89 return "UNKNOWN VariableStatus";
97 return "AT_LOWER_BOUND";
99 return "AT_UPPER_BOUND";
101 return "FIXED_VALUE";
107 LOG(DFATAL) <<
"Invalid ConstraintStatus " <<
static_cast<int>(
status);
108 return "UNKNOWN ConstraintStatus";
126 LOG(DFATAL) <<
"Invalid VariableStatus " <<
static_cast<int>(
status);
@ UPPER_AND_LOWER_BOUNDED
std::string GetProblemStatusString(ProblemStatus problem_status)
std::string GetConstraintStatusString(ConstraintStatus status)
@ INFEASIBLE_OR_UNBOUNDED
ConstraintStatus VariableToConstraintStatus(VariableStatus status)
std::string GetVariableTypeString(VariableType variable_type)
std::string GetVariableStatusString(VariableStatus status)
Collection of objects used to extend the Constraint Solver library.