Searched refs:ConstraintVariableGraphIsUpToDate (Results 1 – 3 of 3) sorted by relevance
215 bool ConstraintVariableGraphIsUpToDate() const;438 DCHECK(ConstraintVariableGraphIsUpToDate()); in ConstraintToVars()442 DCHECK(ConstraintVariableGraphIsUpToDate()); in VarToConstraints()446 DCHECK(ConstraintVariableGraphIsUpToDate()); in IntervalUsage()
331 if (!ConstraintVariableGraphIsUpToDate()) return false; in VariableIsUniqueAndRemovable()337 if (!ConstraintVariableGraphIsUpToDate()) return false; in VariableWithCostIsUnique()349 if (!ConstraintVariableGraphIsUpToDate()) return false; in VariableWithCostIsUniqueAndRemovable()358 if (!ConstraintVariableGraphIsUpToDate()) return false; in VariableIsNotUsedAnymore()389 if (!ConstraintVariableGraphIsUpToDate()) return false; in VariableIsOnlyUsedInEncodingAndMaybeInObjective()582 bool PresolveContext::ConstraintVariableGraphIsUpToDate() const { in ConstraintVariableGraphIsUpToDate() function in operations_research::sat::PresolveContext1574 ConstraintVariableGraphIsUpToDate() && in CanonicalizeObjective()
6393 CHECK(context_->ConstraintVariableGraphIsUpToDate());