Detailed Description

Definition at line 100 of file compute_infeasible_subsystem_result.h.

#include <compute_infeasible_subsystem_result.h>

Public Member Functions
ComputeInfeasibleSubsystemResultProto	Proto () const
absl::Status	CheckModelStorage (ModelStorageCPtr expected_storage) const

Static Public Member Functions
static absl::StatusOr< ComputeInfeasibleSubsystemResult >	FromProto (ModelStorageCPtr model, const ComputeInfeasibleSubsystemResultProto &result_proto)

Public Attributes
FeasibilityStatus	feasibility = FeasibilityStatus::kUndetermined
	The primal feasibility status of the model, as determined by the solver.
ModelSubset	infeasible_subsystem
bool	is_minimal = false

Member Function Documentation

◆ CheckModelStorage()

absl::Status operations_research::math_opt::ComputeInfeasibleSubsystemResult::CheckModelStorage ( ModelStorageCPtr expected_storage ) const

Returns a failure if this object contains references to a model other than expected_storage.

Definition at line 385 of file compute_infeasible_subsystem_result.cc.

◆ FromProto()

absl::StatusOr< ComputeInfeasibleSubsystemResult > operations_research::math_opt::ComputeInfeasibleSubsystemResult::FromProto	(	ModelStorageCPtr	model,
		const ComputeInfeasibleSubsystemResultProto &	result_proto )

static

Returns the ComputeInfeasibleSubsystemResult equivalent to proto.

Returns an error when:

model does not contain a variable or constraint associated with an index present in proto.infeasible_subsystem.
ValidateComputeInfeasibleSubsystemResultNoModel(result_proto) fails.

We intentionally call this validator after checking feasibility so that we can return a friendlier message for UNSPECIFIED.

Definition at line 350 of file compute_infeasible_subsystem_result.cc.

◆ Proto()

ComputeInfeasibleSubsystemResultProto operations_research::math_opt::ComputeInfeasibleSubsystemResult::Proto ( ) const

Returns the proto equivalent of this object.

The caller should use CheckModelStorage() before calling this function as it does not check internal consistency of the referenced variables and constraints.

Definition at line 374 of file compute_infeasible_subsystem_result.cc.

Member Data Documentation

◆ feasibility

FeasibilityStatus operations_research::math_opt::ComputeInfeasibleSubsystemResult::feasibility = FeasibilityStatus::kUndetermined

The primal feasibility status of the model, as determined by the solver.

Definition at line 123 of file compute_infeasible_subsystem_result.h.

◆ infeasible_subsystem

ModelSubset operations_research::math_opt::ComputeInfeasibleSubsystemResult::infeasible_subsystem

An infeasible subsystem of the input model. Set if feasible is kInfeasible, and empty otherwise. The IDs correspond to those constraints included in the infeasible subsystem. Submessages with Bounds values indicate which side of a potentially ranged constraint are included in the subsystem: lower bound, upper bound, or both.

Definition at line 130 of file compute_infeasible_subsystem_result.h.

◆ is_minimal

bool operations_research::math_opt::ComputeInfeasibleSubsystemResult::is_minimal = false

True if the solver has certified that the returned subsystem is minimal (the instance is feasible if any additional constraint is removed). Note that, due to problem transformations MathOpt applies or idiosyncrasies of the solvers contract, the returned infeasible subsystem may not actually be minimal.

Definition at line 137 of file compute_infeasible_subsystem_result.h.

The documentation for this struct was generated from the following files:

ortools/math_opt/cpp/compute_infeasible_subsystem_result.h
ortools/math_opt/cpp/compute_infeasible_subsystem_result.cc