/barrelfish-master/usr/skb/programs/ |
H A D | multicast.pl | 35 findall(X, message_rtt(X,_,_,_,_,_), L2), 36 length(L2, ExpectedNrRTTMeasurements).
|
H A D | bridge_page_orig_naturally_aligned.pl | 161 append(L1, Size, L2), 162 labeling(L2). 225 flatten(ChildList,L2), 226 List = [Node|L2].
|
H A D | bridge.pl | 88 append(L1, Size, L2), 89 labeling(L2). 149 flatten(ChildList,L2), 150 List = [Node|L2].
|
H A D | bridge_fake_babybel.pl | 51 convert_devices(T, L2), 52 append(L2, Elements, L). 69 convert_bridges(T, L2), 70 append(L2, BridgeList, L). 650 append(L1, Size, L2), 651 labeling(L2). 723 flatten(ChildList,L2), 724 List = [Node|L2].
|
H A D | bridge_postorder.pl | 192 flatten(ChildList,L2), 193 List = [Node|L2]. 204 % flatten(ChildList,L2), 205 % List = [Node|L2].
|
H A D | bridge_page.pl | 34 merge_window([], T2, L2), 35 (member(L2, range(B2, H2)) -> 36 L = [range(B, H) | L2] 38 append([range(B,H)], [range(B2, H2) | L2], L) 461 append(L1, High , L2), 462 labeling(L2). 469 append(L1, High , L2), 470 append(L2, ExtraVars , L3), 598 flatten(ChildList,L2), 599 List = [Node|L2] [all...] |
H A D | bridge_postorder_sorted.pl | 214 flatten(ChildList,L2), 215 List = [Node|L2]. 226 % flatten(ChildList,L2), 227 % List = [Node|L2].
|
H A D | bridge_postorder_sorted_sum.pl | 220 flatten(ChildList,L2), 221 List = [Node|L2]. 232 % flatten(ChildList,L2), 233 % List = [Node|L2].
|
H A D | bridge_postorder_sorted_sum_ascending.pl | 216 flatten(ChildList,L2), 217 List = [Node|L2]. 228 % flatten(ChildList,L2), 229 % List = [Node|L2].
|
H A D | bridge_postorder_sorted_ascending.pl | 215 flatten(ChildList,L2), 216 List = [Node|L2]. 227 % flatten(ChildList,L2), 228 % List = [Node|L2].
|
H A D | bridge_fake_bigfish.pl | 160 append(L1, Size, L2), 161 labeling(L2). 233 flatten(ChildList,L2), 234 List = [Node|L2].
|
/barrelfish-master/lib/msun/ld80/ |
H A D | k_expl.h | 47 * ln2/INTERVALS = L1+L2 (hi+lo decomposition for multiplication). L1 must 53 L2 = -3.2819649005320973e-13, /* -0x1718432a1b0e26.0p-94 */ variable 228 r = x - fn * L1 - fn * L2; /* r = r1 + r2 done independently. */ 240 r2 = fn * -L2;
|
H A D | s_expl.c | 238 r2 = fn * -L2;
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | stat.pl | 95 % current_array(vm_pairs_ctr(L2), _), 96 % reset_pair_counters(L2), 350 L2 is 34 - string_length(Name2) - fix(ln(Val)/ln(10)), 351 spaces(L2),
|
H A D | environment.pl | 541 halve(Half, FList, L1, L2), 542 splice(L1, L2, NewList), 603 halve(0, L2, [], L2) :- !. 604 halve(N, [H|R], [H|Li], L2) :- 606 halve(N1, R, Li, L2). 610 splice([H1|L1], [H2|L2], [H1, H2|R]) :- 611 splice(L1, L2, R).
|
/barrelfish-master/lib/msun/src/ |
H A D | e_pow.c | 75 L2 = 4.28571428578550184252e-01, /* 0x3FDB6DB6, 0xDB6FABFF */ variable 234 r = s2*s2*(L1+s2*(L2+s2*(L3+s2*(L4+s2*(L5+s2*L6)))));
|
H A D | e_powf.c | 34 L2 = 4.2857143283e-01, /* 0x3edb6db7 */ variable 177 r = s2*s2*(L1+s2*(L2+s2*(L3+s2*(L4+s2*(L5+s2*L6)))));
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | read.pl | 112 ambigop(F, L1, O1, R1, L2, O2) :- 113 postfixop(F, L2, O2), 265 ambigop(F, L1, O1, R1, L2, O2), !, 267 ; exprtl([postfixop(F,L2,O2) |S1], 0, Term, Precedence, Answer, S) 273 postfixop(F, L2, O2), !, 274 exprtl([postfixop(F,L2,O2) |S1], 0, Term, Precedence, Answer, S).
|
H A D | distfix.pl | 150 ambigop(F, L1, O1, R1, L2, O2) :- 151 postfixop(F, L2, O2), 311 ambigop(F, L1, O1, R1, L2, O2), !, 313 ; exprtl([postfixop(F,L2,O2) |S1], 0, Term, Precedence, Answer, S) 319 postfixop(F, L2, O2), !, 320 exprtl([postfixop(F,L2,O2) |S1], 0, Term, Precedence, Answer, S).
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | chr2pl.pl | 946 intersection_identicals([Head|L1tail], L2, L3) :- 947 memberchk_identical(Head, L2), 950 intersection_identicals(L1tail, L2, L3tail). 951 intersection_identicals([_|L1tail], L2, L3) :- 952 intersection_identicals(L1tail, L2, L3). 960 delta_identicals([Head|L1tail], L2, L3) :- 961 memberchk_identical(Head, L2), 963 delta_identicals(L1tail, L2, L3). 964 delta_identicals([Head|L1tail], L2, [Head|L3tail]) :- 965 delta_identicals(L1tail, L2, L3tai [all...] |
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | matrices.pl | 448 const_to_el(El2, L2), 452 (subset(L1, L2); L1 = [_], L2 = [_,_|_]) -> % this smaller 455 (subset(L2, L1); L2 = [_], L1 = [_,_|_]) -> % this larger
|
/barrelfish-master/lib/msun/ld128/ |
H A D | k_expl.h | 47 * ln2/INTERVALS = L1+L2 (hi+lo decomposition for multiplication). L1 must 52 L2 = -1.0253670638894731e-29; /* -0x1.9ff0342542fc3p-97 */ variable 259 r2 = fn * -L2;
|
/barrelfish-master/include/ |
H A D | k_expl.h | 47 * ln2/INTERVALS = L1+L2 (hi+lo decomposition for multiplication). L1 must 52 L2 = -1.0253670638894731e-29; /* -0x1.9ff0342542fc3p-97 */ variable 259 r2 = fn * -L2;
|
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | basic.pl | 30 conc(L1, L2, L3) :- 31 append(L1, L2, L3).
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | math-utilities.pl | 92 rev([X|L1],L2,L3):- rev(L1,[X|L2],L3).
|