ortools.sat.lrat_pb2 Namespace Reference

Detailed Description

Generated protocol buffer code.

Variables
	_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()
	_loaded_options
	_serialized_options
	_serialized_start
	_serialized_end

Variable Documentation

_globals

ortools.sat.lrat_pb2._globals = globals()

protected

Definition at line 29 of file lrat_pb2.py.

_loaded_options

ortools.sat.lrat_pb2._loaded_options

protected

Definition at line 33 of file lrat_pb2.py.

_serialized_end

ortools.sat.lrat_pb2._serialized_end

protected

Definition at line 47 of file lrat_pb2.py.

_serialized_options

ortools.sat.lrat_pb2._serialized_options

protected

Definition at line 35 of file lrat_pb2.py.

_serialized_start

ortools.sat.lrat_pb2._serialized_start

protected

Definition at line 46 of file lrat_pb2.py.

_sym_db

ortools.sat.lrat_pb2._sym_db = _symbol_database.Default()

protected

Definition at line 22 of file lrat_pb2.py.

DESCRIPTOR

ortools.sat.lrat_pb2.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')

Definition at line 27 of file lrat_pb2.py.