Searched refs:tmp_f_high (Results 1 – 1 of 1) sorted by relevance
307 CR tmp_f_high = func.execute(h); in inverseMonotone_UnaryCRFunction() local310 if (tmp_f_low.compareTo(tmp_f_high) > 0) { in inverseMonotone_UnaryCRFunction()314 f_high[0] = tmp_f_high.negate(); in inverseMonotone_UnaryCRFunction()319 f_high[0] = tmp_f_high; in inverseMonotone_UnaryCRFunction()