Searched refs:ConstraintIsOptional (Results 1 – 3 of 3) sorted by relevance
456 bool ConstraintIsOptional(int ct_ref) const;
246 } else if (ConstraintIsOptional(ct_ref)) { in IntervalDebugString()504 bool PresolveContext::ConstraintIsOptional(int ct_ref) const { in ConstraintIsOptional() function in operations_research::sat::PresolveContext
3995 if (context_->ConstraintIsOptional(proto->intervals(i))) {4043 if (context_->ConstraintIsOptional(interval)) continue;4253 if (context_->ConstraintIsOptional(index)) has_optional_interval = true;4275 if (!context_->ConstraintIsOptional(index)) {