Home
last modified time | relevance | path

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

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dlinear_constraint.cc93 bool has_opposite_view = in AddLiteralTerm() local
99 if (has_direct_view && has_opposite_view) { in AddLiteralTerm()
102 has_opposite_view = false; in AddLiteralTerm()
111 if (has_opposite_view) { in AddLiteralTerm()