Searched refs:tmp_f_low (Results 1 – 1 of 1) sorted by relevance
306 CR tmp_f_low = func.execute(l); in inverseMonotone_UnaryCRFunction() local310 if (tmp_f_low.compareTo(tmp_f_high) > 0) { in inverseMonotone_UnaryCRFunction()313 f_low[0] = tmp_f_low.negate(); in inverseMonotone_UnaryCRFunction()318 f_low[0] = tmp_f_low; in inverseMonotone_UnaryCRFunction()