Searched refs:numberDownInf_ (Results 1 – 2 of 2) sorted by relevance
60 int numberDownInf_; member102 if (newOne.numberDownInf_ != history[i].numberDownInf_) in addRecord()191 hist.numberDownInf_ = 0; in initialize()574 hist.numberDownInf_ = numInfDown; in betterBranch()649 history[i].numberDownInf_, in printHistory()
39 int numberDownInf_; member80 if (newOne.numberDownInf_ != history[i].numberDownInf_) in addRecord()811 hist.numberDownInf_ = numberTimesDownInfeasible_; in infeasibility()1180 hist.numberDownInf_ = numberTimesDownInfeasible_; in updateInformation()