Searched refs:DomainOf (Results 1 – 5 of 5) sorted by relevance
186 context->DomainOf(div_var) in ExpandIntMod()402 const Domain index_domain = context->DomainOf(index_ref); in ExpandConstantArrayElement()470 const Domain var_domain = context->DomainOf(var); in ExpandVariableElement()1049 if (context->DomainOf(left_var).IsFixed() || in AddSizeTwoTable()1050 context->DomainOf(right_var).IsFixed()) { in AddSizeTwoTable()1163 if (context->DomainOf(vars[var_index]).IsFixed()) { in ExpandPositiveTable()1424 context->DomainOf(var1) in ExpandSomeLinearOfSizeTwo()1427 .IntersectionWith(context->DomainOf(var2) in ExpandSomeLinearOfSizeTwo()1436 const int64_t size1 = context->DomainOf(var1).Size(); in ExpandSomeLinearOfSizeTwo()1437 const int64_t size2 = context->DomainOf(var2).Size(); in ExpandSomeLinearOfSizeTwo()[all …]
181 DomainOf(expr.vars(i)).MultiplicationBy(expr.coeffs(i))); in DomainSuperSetOf()396 Domain PresolveContext::DomainOf(int ref) const { in DomainOf() function in operations_research::sat::PresolveContext455 DomainOf(var) in IntersectDomainWith()724 DomainOf(var) in PropagateAffineRelation()729 if (!IntersectDomainWith(var, DomainOf(r.representative) in PropagateAffineRelation()1044 CHECK(!DomainOf(ref_a).IsEmpty()); in StoreBooleanEqualityRelation()1045 CHECK(!DomainOf(ref_b).IsEmpty()); in StoreBooleanEqualityRelation()1149 DomainOf(ref).ToString()); in RefDebugString()1177 CHECK_EQ(DomainOf(var).Size(), 2); in CanonicalizeDomainOfSizeTwo()1270 DCHECK(DomainOf(var).Contains(value)); in InsertVarValueEncodingInternal()[all …]
1598 FillDomainInProto(context_->DomainOf(var), l);1799 .IntersectionWith(context_->DomainOf(abs_arg));1836 if (!context_->DomainOf(var).Contains(value)) {1991 context_->DomainOf(var1)1994 .IntersectionWith(context_->DomainOf(var2)2373 if (context_->DomainOf(var) != new_domain) continue;3074 const Domain& domain = context_->DomainOf(ref);3157 context_->DomainOf(index_ref).Size()) {4656 Domain hull = context_->DomainOf(proto.vars(0));6695 const Domain& domain = context_->DomainOf(var);[all …]
640 context->DomainOf(var).IntersectionWith(Domain(ub_limit, lb_limit)); in Strengthen()659 ? context->DomainOf(var) in Strengthen()666 ? context->DomainOf(var) in Strengthen()1147 new_ub = context->DomainOf(current_ref) in ExploitDominanceRelations()
106 Domain DomainOf(int ref) const;