ortools.math_opt.infeasible_subsystem_pb2

@generated by mypy-protobuf. Do not edit manually! isort:skip_file Copyright 2010-2025 Google LLC Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

Messages for representing subsets of a models constraints, and for computing infeasible subsystems of a model. Cf. "Irreducible Inconsistent subsystems" (IIS), which are useful for debugging/diagnosing model infeasibility.

View Source

 1# -*- coding: utf-8 -*-
 2# Generated by the protocol buffer compiler.  DO NOT EDIT!
 3# NO CHECKED-IN PROTOBUF GENCODE
 4# source: ortools/math_opt/infeasible_subsystem.proto
 5# Protobuf Python Version: 6.33.1
 6"""Generated protocol buffer code."""
 7from google.protobuf import descriptor as _descriptor
 8from google.protobuf import descriptor_pool as _descriptor_pool
 9from google.protobuf import runtime_version as _runtime_version
10from google.protobuf import symbol_database as _symbol_database
11from google.protobuf.internal import builder as _builder
12_runtime_version.ValidateProtobufRuntimeVersion(
13    _runtime_version.Domain.PUBLIC,
14    6,
15    33,
16    1,
17    '',
18    'ortools/math_opt/infeasible_subsystem.proto'
19)
20# @@protoc_insertion_point(imports)
21
22_sym_db = _symbol_database.Default()
23
24
25from ortools.math_opt import result_pb2 as ortools_dot_math__opt_dot_result__pb2
26
27
28DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(b'\n+ortools/math_opt/infeasible_subsystem.proto\x12\x1coperations_research.math_opt\x1a\x1dortools/math_opt/result.proto\"\xce\x06\n\x10ModelSubsetProto\x12[\n\x0fvariable_bounds\x18\x01 \x03(\x0b\x32\x42.operations_research.math_opt.ModelSubsetProto.VariableBoundsEntry\x12\x1c\n\x14variable_integrality\x18\x02 \x03(\x03\x12\x61\n\x12linear_constraints\x18\x03 \x03(\x0b\x32\x45.operations_research.math_opt.ModelSubsetProto.LinearConstraintsEntry\x12g\n\x15quadratic_constraints\x18\x04 \x03(\x0b\x32H.operations_research.math_opt.ModelSubsetProto.QuadraticConstraintsEntry\x12%\n\x1dsecond_order_cone_constraints\x18\x05 \x03(\x03\x12\x18\n\x10sos1_constraints\x18\x06 \x03(\x03\x12\x18\n\x10sos2_constraints\x18\x07 \x03(\x03\x12\x1d\n\x15indicator_constraints\x18\x08 \x03(\x03\x1a&\n\x06\x42ounds\x12\r\n\x05lower\x18\x01 \x01(\x08\x12\r\n\x05upper\x18\x02 \x01(\x08\x1al\n\x13VariableBoundsEntry\x12\x0b\n\x03key\x18\x01 \x01(\x03\x12\x44\n\x05value\x18\x02 \x01(\x0b\x32\x35.operations_research.math_opt.ModelSubsetProto.Bounds:\x02\x38\x01\x1ao\n\x16LinearConstraintsEntry\x12\x0b\n\x03key\x18\x01 \x01(\x03\x12\x44\n\x05value\x18\x02 \x01(\x0b\x32\x35.operations_research.math_opt.ModelSubsetProto.Bounds:\x02\x38\x01\x1ar\n\x19QuadraticConstraintsEntry\x12\x0b\n\x03key\x18\x01 \x01(\x03\x12\x44\n\x05value\x18\x02 \x01(\x0b\x32\x35.operations_research.math_opt.ModelSubsetProto.Bounds:\x02\x38\x01\"\xd4\x01\n%ComputeInfeasibleSubsystemResultProto\x12I\n\x0b\x66\x65\x61sibility\x18\x01 \x01(\x0e\x32\x34.operations_research.math_opt.FeasibilityStatusProto\x12L\n\x14infeasible_subsystem\x18\x02 \x01(\x0b\x32..operations_research.math_opt.ModelSubsetProto\x12\x12\n\nis_minimal\x18\x03 \x01(\x08\x42\x1e\n\x1a\x63om.google.ortools.mathoptP\x01\x62\x06proto3')
29
30_globals = globals()
31_builder.BuildMessageAndEnumDescriptors(DESCRIPTOR, _globals)
32_builder.BuildTopDescriptorsAndMessages(DESCRIPTOR, 'ortools.math_opt.infeasible_subsystem_pb2', _globals)
33if not _descriptor._USE_C_DESCRIPTORS:
34  _globals['DESCRIPTOR']._loaded_options = None
35  _globals['DESCRIPTOR']._serialized_options = b'\n\032com.google.ortools.mathoptP\001'
36  _globals['_MODELSUBSETPROTO_VARIABLEBOUNDSENTRY']._loaded_options = None
37  _globals['_MODELSUBSETPROTO_VARIABLEBOUNDSENTRY']._serialized_options = b'8\001'
38  _globals['_MODELSUBSETPROTO_LINEARCONSTRAINTSENTRY']._loaded_options = None
39  _globals['_MODELSUBSETPROTO_LINEARCONSTRAINTSENTRY']._serialized_options = b'8\001'
40  _globals['_MODELSUBSETPROTO_QUADRATICCONSTRAINTSENTRY']._loaded_options = None
41  _globals['_MODELSUBSETPROTO_QUADRATICCONSTRAINTSENTRY']._serialized_options = b'8\001'
42  _globals['_MODELSUBSETPROTO']._serialized_start=109
43  _globals['_MODELSUBSETPROTO']._serialized_end=955
44  _globals['_MODELSUBSETPROTO_BOUNDS']._serialized_start=578
45  _globals['_MODELSUBSETPROTO_BOUNDS']._serialized_end=616
46  _globals['_MODELSUBSETPROTO_VARIABLEBOUNDSENTRY']._serialized_start=618
47  _globals['_MODELSUBSETPROTO_VARIABLEBOUNDSENTRY']._serialized_end=726
48  _globals['_MODELSUBSETPROTO_LINEARCONSTRAINTSENTRY']._serialized_start=728
49  _globals['_MODELSUBSETPROTO_LINEARCONSTRAINTSENTRY']._serialized_end=839
50  _globals['_MODELSUBSETPROTO_QUADRATICCONSTRAINTSENTRY']._serialized_start=841
51  _globals['_MODELSUBSETPROTO_QUADRATICCONSTRAINTSENTRY']._serialized_end=955
52  _globals['_COMPUTEINFEASIBLESUBSYSTEMRESULTPROTO']._serialized_start=958
53  _globals['_COMPUTEINFEASIBLESUBSYSTEMRESULTPROTO']._serialized_end=1170
54# @@protoc_insertion_point(module_scope)

DESCRIPTOR: google.protobuf.descriptor.FileDescriptor = <google._upb._message.FileDescriptor object>

class ModelSubsetProto(google._upb._message.Message, google.protobuf.message.Message):

Represents a subset of the constraints (including variable bounds and integrality) of a ModelProto.