Searched refs:sumViol_loc (Results 1 – 1 of 1) sorted by relevance
70 double temperature = 0, gamma = 1, sumViol, sumViol_loc, mu = 1; in rtr() local120 nSatd_loc = init_sat (lp, satd, b_Ax, x, &sumViol_loc); in rtr()129 sumViol = sumViol_loc; in rtr()131 sumViol = sumViol_loc; in rtr()