private static void refineInterval ( double [ ] interval , int cd , int mask ) { if ( ( cd & mask ) != 0 ) interval [ 0 ] = ( interval [ 0 ] + interval [ 1 ] ) / 2 ; else interval [ 1 ] = ( interval [ 0 ] + interval [ 1 ] ) / 2 ; }
Refines interval by a factor or 2 in either the 0 or 1 ordinate .