Searched refs:VariableWithCostIsUnique (Results 1 – 3 of 3) sorted by relevance
166 bool VariableWithCostIsUnique(int ref) const;
336 bool PresolveContext::VariableWithCostIsUnique(int ref) const { in VariableWithCostIsUnique() function in operations_research::sat::PresolveContext352 VariableWithCostIsUnique(var); in VariableWithCostIsUniqueAndRemovable()
1501 if (!context_->VariableWithCostIsUnique(var)) continue;