operations_research::sat::GateCongruenceClosure Class Reference

Detailed Description

Definition at line 447 of file sat_inprocessing.h.

#include <sat_inprocessing.h>

Public Member Functions
	GateCongruenceClosure (Model *model)
	~GateCongruenceClosure ()
bool	DoOneRound (bool log_info)

Constructor & Destructor Documentation

GateCongruenceClosure()

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

inlineexplicit

Definition at line 449 of file sat_inprocessing.h.

~GateCongruenceClosure()

operations_research::sat::GateCongruenceClosure::~GateCongruenceClosure

(

)

Definition at line 1939 of file sat_inprocessing.cc.

Member Function Documentation

DoOneRound()

bool operations_research::sat::GateCongruenceClosure::DoOneRound

(

bool

log_info

)

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