# -*- coding: utf-8 -*-
# Generated by the protocol buffer compiler.  DO NOT EDIT!
# NO CHECKED-IN PROTOBUF GENCODE
# source: ortools/sat/lrat.proto
# Protobuf Python Version: 6.33.1
"""Generated protocol buffer code."""
from google.protobuf import descriptor as _descriptor
from google.protobuf import descriptor_pool as _descriptor_pool
from google.protobuf import runtime_version as _runtime_version
from google.protobuf import symbol_database as _symbol_database
from google.protobuf.internal import builder as _builder
_runtime_version.ValidateProtobufRuntimeVersion(
    _runtime_version.Domain.PUBLIC,
    6,
    33,
    1,
    '',
    'ortools/sat/lrat.proto'
)
# @@protoc_insertion_point(imports)

_sym_db = _symbol_database.Default()




DESCRIPTOR = _descriptor_pool.Default().AddSerializedFile(b'\n\x16ortools/sat/lrat.proto\x12\x17operations_research.sat\"=\n\x12LratImportedClause\x12\x11\n\tclause_id\x18\x01 \x01(\x03\x12\x14\n\x08literals\x18\x02 \x03(\x05\x42\x02\x10\x01\"\xe4\x01\n\x12LratInferredClause\x12\x11\n\tclause_id\x18\x01 \x01(\x03\x12\x14\n\x08literals\x18\x02 \x03(\x05\x42\x02\x10\x01\x12\x14\n\x08unit_ids\x18\x03 \x03(\x03\x42\x02\x10\x01\x12\x46\n\trat_infos\x18\x04 \x03(\x0b\x32\x33.operations_research.sat.LratInferredClause.RatInfo\x12\x10\n\x08\x65xported\x18\x05 \x01(\x08\x1a\x35\n\x07RatInfo\x12\x14\n\x0cresolvant_id\x18\x01 \x01(\x03\x12\x14\n\x08unit_ids\x18\x02 \x03(\x03\x42\x02\x10\x01\"=\n\x12LratExportedClause\x12\x11\n\tclause_id\x18\x01 \x01(\x03\x12\x14\n\x08literals\x18\x02 \x03(\x05\x42\x02\x10\x01\",\n\x12LratDeletedClauses\x12\x16\n\nclause_ids\x18\x01 \x03(\x03\x42\x02\x10\x01\"\xb7\x02\n\rLratProofStep\x12\x46\n\x0fimported_clause\x18\x01 \x01(\x0b\x32+.operations_research.sat.LratImportedClauseH\x00\x12\x46\n\x0finferred_clause\x18\x02 \x01(\x0b\x32+.operations_research.sat.LratInferredClauseH\x00\x12\x46\n\x0f\x65xported_clause\x18\x03 \x01(\x0b\x32+.operations_research.sat.LratExportedClauseH\x00\x12\x46\n\x0f\x64\x65leted_clauses\x18\x04 \x01(\x0b\x32+.operations_research.sat.LratDeletedClausesH\x00\x42\x06\n\x04step')

_globals = globals()
_builder.BuildMessageAndEnumDescriptors(DESCRIPTOR, _globals)
_builder.BuildTopDescriptorsAndMessages(DESCRIPTOR, 'ortools.sat.lrat_pb2', _globals)
if not _descriptor._USE_C_DESCRIPTORS:
  DESCRIPTOR._loaded_options = None
  _globals['_LRATIMPORTEDCLAUSE'].fields_by_name['literals']._loaded_options = None
  _globals['_LRATIMPORTEDCLAUSE'].fields_by_name['literals']._serialized_options = b'\020\001'
  _globals['_LRATINFERREDCLAUSE_RATINFO'].fields_by_name['unit_ids']._loaded_options = None
  _globals['_LRATINFERREDCLAUSE_RATINFO'].fields_by_name['unit_ids']._serialized_options = b'\020\001'
  _globals['_LRATINFERREDCLAUSE'].fields_by_name['literals']._loaded_options = None
  _globals['_LRATINFERREDCLAUSE'].fields_by_name['literals']._serialized_options = b'\020\001'
  _globals['_LRATINFERREDCLAUSE'].fields_by_name['unit_ids']._loaded_options = None
  _globals['_LRATINFERREDCLAUSE'].fields_by_name['unit_ids']._serialized_options = b'\020\001'
  _globals['_LRATEXPORTEDCLAUSE'].fields_by_name['literals']._loaded_options = None
  _globals['_LRATEXPORTEDCLAUSE'].fields_by_name['literals']._serialized_options = b'\020\001'
  _globals['_LRATDELETEDCLAUSES'].fields_by_name['clause_ids']._loaded_options = None
  _globals['_LRATDELETEDCLAUSES'].fields_by_name['clause_ids']._serialized_options = b'\020\001'
  _globals['_LRATIMPORTEDCLAUSE']._serialized_start=51
  _globals['_LRATIMPORTEDCLAUSE']._serialized_end=112
  _globals['_LRATINFERREDCLAUSE']._serialized_start=115
  _globals['_LRATINFERREDCLAUSE']._serialized_end=343
  _globals['_LRATINFERREDCLAUSE_RATINFO']._serialized_start=290
  _globals['_LRATINFERREDCLAUSE_RATINFO']._serialized_end=343
  _globals['_LRATEXPORTEDCLAUSE']._serialized_start=345
  _globals['_LRATEXPORTEDCLAUSE']._serialized_end=406
  _globals['_LRATDELETEDCLAUSES']._serialized_start=408
  _globals['_LRATDELETEDCLAUSES']._serialized_end=452
  _globals['_LRATPROOFSTEP']._serialized_start=455
  _globals['_LRATPROOFSTEP']._serialized_end=766
# @@protoc_insertion_point(module_scope)
