result_validator.cc File Reference

#include "ortools/math_opt/validators/result_validator.h"
#include <limits>
#include "absl/status/status.h"
#include "google/protobuf/repeated_ptr_field.h"
#include "ortools/base/status_builder.h"
#include "ortools/base/status_macros.h"
#include "ortools/math_opt/core/math_opt_proto_utils.h"
#include "ortools/math_opt/core/model_summary.h"
#include "ortools/math_opt/model_parameters.pb.h"
#include "ortools/math_opt/result.pb.h"
#include "ortools/math_opt/solution.pb.h"
#include "ortools/math_opt/validators/solution_validator.h"
#include "ortools/math_opt/validators/solve_stats_validator.h"
#include "ortools/math_opt/validators/termination_validator.h"
#include "ortools/port/proto_utils.h"

Go to the source code of this file.

Namespaces
namespace	operations_research
	In SWIG mode, we don't want anything besides these top-level includes.
namespace	operations_research::math_opt
	An object oriented wrapper for quadratic constraints in ModelStorage.

Functions
absl::Status	operations_research::math_opt::ValidateSolutions (const google::protobuf::RepeatedPtrField< SolutionProto > &solutions, const ModelSolveParametersProto &parameters, const ModelSummary &model_summary)
absl::Status	operations_research::math_opt::CheckHasPrimalSolution (const SolveResultProto &result)
	Returns absl::Ok only if a primal feasible solution is available.
absl::Status	operations_research::math_opt::CheckPrimalSolutionAndTerminationConsistency (const TerminationProto &termination, const google::protobuf::RepeatedPtrField< SolutionProto > &solutions, const bool maximize)
absl::Status	operations_research::math_opt::CheckDualSolutionAndStatusConsistency (const TerminationProto &termination, const google::protobuf::RepeatedPtrField< SolutionProto > &solutions, const bool maximize)
absl::Status	operations_research::math_opt::ValidateResult (const SolveResultProto &result, const ModelSolveParametersProto &parameters, const ModelSummary &model_summary)
	Validates the input result.