Home
last modified time | relevance | path

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

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dscheduling_constraints.cc36 true_literal_(model->GetOrCreate<IntegerEncoder>()->GetTrueLiteral()) {} in SelectedMinPropagator()
334 model->GetOrCreate<IntegerEncoder>()->GetTrueLiteral(); in SpanOfIntervals()
370 : model->GetOrCreate<IntegerEncoder>()->GetTrueLiteral(); in SpanOfIntervals()
H A Dcumulative.cc323 presences.push_back(encoder->GetTrueLiteral()); in CumulativeUsingReservoir()
324 presences.push_back(encoder->GetTrueLiteral()); in CumulativeUsingReservoir()
H A Dinteger.cc222 return GetTrueLiteral(); in GetOrCreateAssociatedLiteral()
281 AssociateToIntegerEqualValue(GetTrueLiteral(), var, value); in GetOrCreateLiteralAssociatedToEquality()
282 return GetTrueLiteral(); in GetOrCreateLiteralAssociatedToEquality()
H A Dinteger.h517 Literal GetTrueLiteral() { in GetTrueLiteral() function
527 Literal GetFalseLiteral() { return GetTrueLiteral().Negated(); } in GetFalseLiteral()