Searched refs:L2 (Results 26 - 50 of 76) sorted by relevance

1234

/barrelfish-master/usr/skb/programs/
H A Dmulticast.pl35 findall(X, message_rtt(X,_,_,_,_,_), L2),
36 length(L2, ExpectedNrRTTMeasurements).
H A Dbridge_page_orig_naturally_aligned.pl161 append(L1, Size, L2),
162 labeling(L2).
225 flatten(ChildList,L2),
226 List = [Node|L2].
H A Dbridge.pl88 append(L1, Size, L2),
89 labeling(L2).
149 flatten(ChildList,L2),
150 List = [Node|L2].
H A Dbridge_fake_babybel.pl51 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 Dbridge_postorder.pl192 flatten(ChildList,L2),
193 List = [Node|L2].
204 % flatten(ChildList,L2),
205 % List = [Node|L2].
H A Dbridge_page.pl34 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 Dbridge_postorder_sorted.pl214 flatten(ChildList,L2),
215 List = [Node|L2].
226 % flatten(ChildList,L2),
227 % List = [Node|L2].
H A Dbridge_postorder_sorted_sum.pl220 flatten(ChildList,L2),
221 List = [Node|L2].
232 % flatten(ChildList,L2),
233 % List = [Node|L2].
H A Dbridge_postorder_sorted_sum_ascending.pl216 flatten(ChildList,L2),
217 List = [Node|L2].
228 % flatten(ChildList,L2),
229 % List = [Node|L2].
H A Dbridge_postorder_sorted_ascending.pl215 flatten(ChildList,L2),
216 List = [Node|L2].
227 % flatten(ChildList,L2),
228 % List = [Node|L2].
H A Dbridge_fake_bigfish.pl160 append(L1, Size, L2),
161 labeling(L2).
233 flatten(ChildList,L2),
234 List = [Node|L2].
/barrelfish-master/lib/msun/ld80/
H A Dk_expl.h47 * 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 Ds_expl.c238 r2 = fn * -L2;
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dstat.pl95 % 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 Denvironment.pl541 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 De_pow.c75 L2 = 4.28571428578550184252e-01, /* 0x3FDB6DB6, 0xDB6FABFF */ variable
234 r = s2*s2*(L1+s2*(L2+s2*(L3+s2*(L4+s2*(L5+s2*L6)))));
H A De_powf.c34 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 Dread.pl112 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 Ddistfix.pl150 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 Dchr2pl.pl946 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 Dmatrices.pl448 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 Dk_expl.h47 * 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 Dk_expl.h47 * 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 Dbasic.pl30 conc(L1, L2, L3) :-
31 append(L1, L2, L3).
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/
H A Dmath-utilities.pl92 rev([X|L1],L2,L3):- rev(L1,[X|L2],L3).

Completed in 213 milliseconds

1234