Searched refs:max_arg_prec (Results 1 – 1 of 1) sorted by relevance
290 final int max_arg_prec[] = new int[1]; field in inverseMonotone_UnaryCRFunction322 max_arg_prec[0] = high[0].subtract(low[0]).msd() - 4; in inverseMonotone_UnaryCRFunction()351 if (working_arg_prec > max_arg_prec[0]) { in approximate()352 working_arg_prec = max_arg_prec[0]; in approximate()