operations_research::sat::EquivalenceSatSweeping Class Reference

Detailed Description

Definition at line 51 of file sat_sweeping.h.

#include <sat_sweeping.h>

Public Member Functions
	EquivalenceSatSweeping (Model *model)
bool	DoOneRound (std::function< void(Model *)> run_inprocessing)

Constructor & Destructor Documentation

EquivalenceSatSweeping()

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

inlineexplicit

Definition at line 53 of file sat_sweeping.h.

Member Function Documentation

DoOneRound()

bool operations_research::sat::EquivalenceSatSweeping::DoOneRound

(

std::function< void(Model *)>

run_inprocessing

)

Definition at line 167 of file sat_sweeping.cc.

---

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

• ortools/sat/sat_sweeping.h
• ortools/sat/sat_sweeping.cc