Lines Matching refs:Delta
267 delta:Delta,timeout:Timeout,probe_timeout:ProbeTimeout}) :-
274 set_default(Delta, 1),
282 delta:Delta,timeout:Timeout,probe_timeout:ProbeTimeout}) :-
285 precise_number(Delta),
290 0 < Delta,
316 step(From, Best, bb_options{factor:Factor,delta:Delta}, NewTo) :-
321 NewTo is min(From + Gap*Factor, To-Delta),
324 NewTo is To - Delta
487 split(From, FromNoSol, Best, bb_options{factor:Factor,delta:Delta}, Split) :-
491 Gap > Delta % termination condition
493 Gap >= Delta % termination condition
498 FromPlusDelta is From + Delta,
499 ToMinusDelta is To - Delta,
502 % Gap size between Delta and 2*Delta: split in the middle,
503 % so both probe-range and improvement are at least Delta/2
506 % make sure the probe covers at least a Delta-range,
510 % make sure the improvement is at least Delta,