Searched refs:MarkVariableAsRemoved (Results 1 – 3 of 3) sorted by relevance
161 void MarkVariableAsRemoved(int ref);
493 context_->MarkVariableAsRemoved(PositiveRef(literal));905 context_->MarkVariableAsRemoved(target_expr.vars(0));1561 context_->MarkVariableAsRemoved(var);1611 context_->MarkVariableAsRemoved(ct->linear().vars(i));2464 context_->MarkVariableAsRemoved(var);3219 context_->MarkVariableAsRemoved(index_ref);3232 context_->MarkVariableAsRemoved(target_ref);5363 context_->MarkVariableAsRemoved(objective_var);5389 context_->MarkVariableAsRemoved(last_expanded_objective_var);6624 context_->MarkVariableAsRemoved(var);[all …]
362 void PresolveContext::MarkVariableAsRemoved(int ref) { in MarkVariableAsRemoved() function in operations_research::sat::PresolveContext757 MarkVariableAsRemoved(var); in RemoveVariableFromAffineRelation()