operations_research::sat::LevelZeroCallbackHelper Struct Reference

#include <integer_search.h>

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

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 122 of file integer_search.h.

Member Data Documentation

callbacks

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

Definition at line 123 of file integer_search.h.

---

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

• ortools/sat/integer_search.h