Searched refs:deductions_reason_ (Results 1 – 2 of 2) sorted by relevance
477 std::vector<IntegerLiteral> deductions_reason_; variable
1566 deductions_reason_ = integer_reason_; in Propagate()1567 deductions_reason_.push_back( in Propagate()1586 if (!integer_trail_->Enqueue(deduction, {}, deductions_reason_, in Propagate()2084 deductions_reason_.clear(); in ExactLpReasonning()