operations_research::sat::LevelZeroCallbackHelper Struct Reference

Detailed Description

Callbacks that will be called when the search goes back to level 0. Callbacks should return false if the propagation fails.

Definition at line 44 of file integer_base.h.

#include <integer_base.h>

Public Attributes
std::vector< std::function< bool()> >	callbacks

Member Data Documentation

callbacks

std::vector<std::function<bool()> > operations_research::sat::LevelZeroCallbackHelper::callbacks

Definition at line 45 of file integer_base.h.

---

The documentation for this struct was generated from the following file:

• ortools/sat/integer_base.h