operations_research::sat::LratMerger Class Reference

Detailed Description

Definition at line 73 of file lrat_proof_handler.h.

#include <lrat_proof_handler.h>

Public Member Functions
	LratMerger (Model *model)
	~LratMerger ()
bool	Merge (absl::Span< const std::string > proof_filenames)

Constructor & Destructor Documentation

LratMerger()

operations_research::sat::LratMerger::LratMerger ( Model * model )

explicit

Definition at line 151 of file lrat_proof_handler.cc.

~LratMerger()

operations_research::sat::LratMerger::~LratMerger

(

)

Definition at line 161 of file lrat_proof_handler.cc.

Member Function Documentation

Merge()

bool operations_research::sat::LratMerger::Merge

(

absl::Span< const std::string >

proof_filenames

)

Definition at line 176 of file lrat_proof_handler.cc.

---

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

• ortools/sat/lrat_proof_handler.h
• ortools/sat/lrat_proof_handler.cc