operations_research::sat::BlockedClauseSimplifier Class Reference

Detailed Description

Definition at line 303 of file sat_inprocessing.h.

#include <sat_inprocessing.h>

Public Member Functions
	BlockedClauseSimplifier (Model *model)
void	DoOneRound (bool log_info)

Constructor & Destructor Documentation

BlockedClauseSimplifier()

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

inlineexplicit

Definition at line 305 of file sat_inprocessing.h.

Member Function Documentation

DoOneRound()

void operations_research::sat::BlockedClauseSimplifier::DoOneRound

(

bool

log_info

)

Definition at line 1248 of file sat_inprocessing.cc.

---

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

• ortools/sat/sat_inprocessing.h
• ortools/sat/sat_inprocessing.cc