Home
last modified time | relevance | path

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

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dlinear_relaxation.cc274 encoder->PartialGreaterThanEncoding(var); in AppendPartialGreaterThanEncodingRelaxation()
312 encoder->PartialGreaterThanEncoding(NegationOf(var))) { in AppendPartialGreaterThanEncodingRelaxation()
H A Dinteger.h532 std::map<IntegerValue, Literal> PartialGreaterThanEncoding( in PartialGreaterThanEncoding() function
H A Dcp_model_loader.cc717 encoder->PartialGreaterThanEncoding(var1)) { in PropagateEncodingFromEquivalenceRelations()