Home
last modified time | relevance | path

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

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dpresolve_context.h456 bool ConstraintIsOptional(int ct_ref) const;
H A Dpresolve_context.cc246 } else if (ConstraintIsOptional(ct_ref)) { in IntervalDebugString()
504 bool PresolveContext::ConstraintIsOptional(int ct_ref) const { in ConstraintIsOptional() function in operations_research::sat::PresolveContext
H A Dcp_model_presolve.cc3995 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)) {