operations_research::sat::BoundedVariableElimination Class Reference

Detailed Description

Definition at line 346 of file sat_inprocessing.h.

#include <sat_inprocessing.h>

Public Member Functions
	BoundedVariableElimination (Model *model)
bool	DoOneRound (bool log_info)

Constructor & Destructor Documentation

BoundedVariableElimination()

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

inlineexplicit

Definition at line 348 of file sat_inprocessing.h.

Member Function Documentation

DoOneRound()

bool operations_research::sat::BoundedVariableElimination::DoOneRound

(

bool

log_info

)

Definition at line 1436 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