operations_research::sat::FailedLiteralProbing Class Reference

Detailed Description

Definition at line 316 of file probing.h.

#include <probing.h>

Public Member Functions
	FailedLiteralProbing (Model *model)
bool	DoOneRound (ProbingOptions options)

Constructor & Destructor Documentation

FailedLiteralProbing()

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

explicit

Definition at line 1172 of file probing.cc.

Member Function Documentation

DoOneRound()

bool operations_research::sat::FailedLiteralProbing::DoOneRound

(

ProbingOptions

options

)

Definition at line 1186 of file probing.cc.

---

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

• ortools/sat/probing.h
• ortools/sat/probing.cc