Home
last modified time | relevance | path

Searched refs:at_most_one_buffer (Results 1 – 1 of 1) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dclause.cc1059 std::vector<Literal>* at_most_one_buffer) in SccGraph() argument
1063 at_most_one_buffer_(*at_most_one_buffer) {} in SccGraph()