Searched refs:Delta (Results 1 - 7 of 7) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dcp_min.pl111 delta(Delta),
112 search_factors(W,L,H,Delta,Factors),
137 search_factors(W,L,H,Delta,Factors) :-
138 ((H - L)/ Delta - W =< 0 ->
142 Lnfactor is (H - L)/ Delta - W,
143 Delta1 is Delta),
148 search_factors(I,W,Alpha,Beta,Delta,[Factor|Factors]) :-
152 search_factors(I1,W,Alpha,Beta,Delta,Factors),
153 Factor is fix(Delta * (I - 1) + exp(Alpha * I + Beta) + 0.5).
H A Dbranch_and_bound.pl267 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
[all...]
H A Delipsys.pl759 cputime(Delta) :-
760 user_cpu_time(Delta).
762 elapsed_time(Delta) :-
765 Delta is Now - getval(memory_elapsed),
768 system_cpu_time(Delta) :-
771 Delta is Now - getval(memory_system),
774 user_cpu_time(Delta) :-
777 Delta is Now - getval(memory_user),
H A Dmegalog.pl657 cputime(Delta) :-
660 Delta is Now - Last,
663 elapsed_time(Delta) :-
666 Delta is Now - Last,
669 system_cpu_time(Delta) :-
672 Delta is Now - Last,
675 user_cpu_time(Delta) :-
678 Delta is Now - Last,
/barrelfish-master/lib/acpica/source/compiler/
H A Daslcompile.c694 UINT32 Delta; local
712 /* Delta will be in 100-nanosecond units */
714 Delta = (UINT32) (Event->EndTime - Event->StartTime);
716 MicroSeconds = Delta / ACPI_100NSEC_PER_USEC;
717 MilliSeconds = Delta / ACPI_100NSEC_PER_MSEC;
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Dkernel-lst.tex110 \item[delta_time(+TimerName, ?Delta)]{Get the time since the last call from an internal timer.}
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dic.tex912 \item [\biptxtrefni{get_delta(Var, Delta)}{get_delta/2!ic}{../bips/lib/ic/get_delta-2.html}]

Completed in 53 milliseconds