OR-Tools  8.2
BoundedVariableElimination

Detailed Description

Definition at line 292 of file sat_inprocessing.h.

Public Member Functions

 BoundedVariableElimination (Model *model)
 
bool DoOneRound (bool log_info)
 

Constructor & Destructor Documentation

◆ BoundedVariableElimination()

BoundedVariableElimination ( Model model)
inlineexplicit

Definition at line 294 of file sat_inprocessing.h.

Member Function Documentation

◆ DoOneRound()

bool DoOneRound ( bool  log_info)

Definition at line 1074 of file sat_inprocessing.cc.


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