operations_research::sat::SharedLratProofStatus Class Reference

Detailed Description

Definition at line 1297 of file synchronization.h.

#include <synchronization.h>

Public Member Functions
	SharedLratProofStatus ()
int	NewSubSolverId ()
void	NewSubsolverProofStatus (DratChecker::Status status, bool lrat_check_enabled, bool drat_check_enabled, int num_assumed_clauses, double walltime_in_seconds)
void	NewProofFile (absl::string_view filename)
std::vector< std::string >	GetProofFilenames ()
void	Log (SolverLogger *logger)

Constructor & Destructor Documentation

SharedLratProofStatus()

operations_research::sat::SharedLratProofStatus::SharedLratProofStatus

(

)

Definition at line 1603 of file synchronization.cc.

Member Function Documentation

GetProofFilenames()

std::vector< std::string > operations_research::sat::SharedLratProofStatus::GetProofFilenames

(

)

Definition at line 1643 of file synchronization.cc.

Log()

void operations_research::sat::SharedLratProofStatus::Log

(

SolverLogger *

logger

)

Definition at line 1648 of file synchronization.cc.

NewProofFile()

void operations_research::sat::SharedLratProofStatus::NewProofFile

(

absl::string_view

filename

)

Definition at line 1638 of file synchronization.cc.

NewSubSolverId()

int operations_research::sat::SharedLratProofStatus::NewSubSolverId

(

)

Definition at line 1613 of file synchronization.cc.

NewSubsolverProofStatus()

void operations_research::sat::SharedLratProofStatus::NewSubsolverProofStatus	(	DratChecker::Status	status,
		bool	lrat_check_enabled,
		bool	drat_check_enabled,
		int	num_assumed_clauses,
		double	walltime_in_seconds )

Definition at line 1618 of file synchronization.cc.

---

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

• ortools/sat/synchronization.h
• ortools/sat/synchronization.cc