Searched refs:MODEL_INVALID (Results 1 – 18 of 18) sorted by relevance
53 case sat::CpSolverStatus::MODEL_INVALID: in ToMPSolverResponseStatus()74 return sat::MODEL_INVALID; in FromMPSolverResponseStatus()101 cp_response.set_status(sat::CpSolverStatus::MODEL_INVALID); in ModelInvalidResponse()248 cp_response.set_status(sat::CpSolverStatus::MODEL_INVALID); in SatSolveProto()
451 MODEL_INVALID, enumerator
809 case MPSolver::MODEL_INVALID: in ResultStatusToMPSolverResponseStatus()
30 MODEL_INVALID, enumerator
47 public static final String MODEL_INVALID = Messages field in ModelicaMessages
38 MODEL_INVALID, enumerator
840 ModelFormat format(MODEL_INVALID); in find_models()890 case MODEL_INVALID: in load()
856 ModelFormat format(MODEL_INVALID); in find_models()906 case MODEL_INVALID: in load()
70 … Logger.getLogger(SolveAction.class.getName()).severe(ModelicaMessages.MODEL_INVALID); in doInBackground()
348 operations_research::sat::CpSolverStatus::MODEL_INVALID); in main()
219 response.set_status(CpSolverStatus::MODEL_INVALID); in Run()
671 case MPSolver::ResultStatus::MODEL_INVALID: in MipStatusToCourseSchedulingResultStatus()
71 MODEL_INVALID = cp_model_pb2.MODEL_INVALID variable
2992 CpSolverStatus::MODEL_INVALID);3040 CpSolverStatus::MODEL_INVALID);
672 MODEL_INVALID = 1; enumerator
7436 return CpSolverStatus::MODEL_INVALID;7759 return CpSolverStatus::MODEL_INVALID;7767 return CpSolverStatus::MODEL_INVALID;
1303 } else if (response.status() == CpSolverStatus::MODEL_INVALID) { in SolveFzWithCpModelProto()