Searched refs:IntersectDomainWith (Results 1 – 6 of 6) sorted by relevance
| /dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
| H A D | presolve_context.cc | 454 return IntersectDomainWith(r.representative, in IntersectDomainWith()
472 return IntersectDomainWith(expr.vars(0), in IntersectDomainWith()
485 return IntersectDomainWith(var, Domain(value)); in SetLiteralToFalse()
723 if (!IntersectDomainWith(r.representative, in PropagateAffineRelation()
729 if (!IntersectDomainWith(var, DomainOf(r.representative) in PropagateAffineRelation()
844 return IntersectDomainWith( in CanonicalizeAffineVariable()
888 return IntersectDomainWith(ref_x, Domain(value_x)); in StoreAffineRelation()
915 if (!IntersectDomainWith(ref_x, in StoreAffineRelation()
919 if (!IntersectDomainWith(ref_y, in StoreAffineRelation()
984 if (!IntersectDomainWith( in StoreAffineRelation()
[all …]
|
| H A D | cp_model_expand.cc | 157 if (!context->IntersectDomainWith( in ExpandIntMod()
273 if (!context->IntersectDomainWith(ref, Domain(0, n - 1))) { in ExpandInverse()
280 if (!context->IntersectDomainWith(ref, Domain(0, n - 1))) { in ExpandInverse()
296 if (!context->IntersectDomainWith( in ExpandInverse()
324 if (!context->IntersectDomainWith( in ExpandInverse()
375 if (!context->IntersectDomainWith(index_ref, in ExpandElementWithTargetEqualIndex()
501 if (!context->IntersectDomainWith(index_ref, Domain(0, size - 1))) { in ExpandElement()
530 if (!context->IntersectDomainWith(index_ref, in ExpandElement()
542 if (!context->IntersectDomainWith(target_ref, reached_domain, in ExpandElement()
740 if (!context->IntersectDomainWith( in ExpandAutomaton()
[all …]
|
| H A D | cp_model_presolve.cc | 1187 if (!context_->IntersectDomainWith(
1233 if (!context_->IntersectDomainWith(
1525 if (!context_->IntersectDomainWith(
1749 if (!context_->IntersectDomainWith(var,
2900 if (!context_->IntersectDomainWith(
3088 if (!context_->IntersectDomainWith(
3386 if (!context_->IntersectDomainWith(
3962 if (!context_->IntersectDomainWith(
4196 if (!context_->IntersectDomainWith(
4723 if (!context_->IntersectDomainWith(
[all …]
|
| H A D | presolve_context.h | 177 ABSL_MUST_USE_RESULT bool IntersectDomainWith(
187 ABSL_MUST_USE_RESULT bool IntersectDomainWith(
|
| H A D | var_domination.cc | 622 CHECK(context->IntersectDomainWith(var, Domain(lb))); in Strengthen()
632 CHECK(context->IntersectDomainWith(var, Domain(ub))); in Strengthen()
649 CHECK(context->IntersectDomainWith(var, Domain(value))); in Strengthen()
672 CHECK(context->IntersectDomainWith(var, Domain(new_lb, new_ub))); in Strengthen()
1120 if (!context->IntersectDomainWith(current_ref, Domain(lb))) { in ExploitDominanceRelations()
1154 if (!context->IntersectDomainWith(current_ref, Domain(lb, new_ub))) { in ExploitDominanceRelations()
|
| H A D | cp_model_solver.cc | 3115 if (!context->IntersectDomainWith(var, Domain(value))) {
|