BoundedVariableElimination

Detailed Description

Definition at line 301 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 303 of file sat_inprocessing.h.

Member Function Documentation

DoOneRound()

bool DoOneRound

(

bool

log_info

)

Definition at line 1095 of file sat_inprocessing.cc.

---

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

• sat_inprocessing.h
• sat_inprocessing.cc