/barrelfish-master/lib/msun/ld128/ |
H A D | s_expl.c | 278 r1 = x - fn * L1;
|
/barrelfish-master/usr/skb/programs/ |
H A D | bridge_fake_babybel.pl | 649 append(Base, High, L1), 650 append(L1, Size, L2), 719 foreach(L1,ChildList) 721 tree2list(El,L1)
|
H A D | globalthreadalloc.pl | 107 findall(H, (memory_affinity(L1, S, NUMADomain), H is L1 + S), AfH),
|
H A D | decoding_net2.pl | 1233 word_to_num(L1W, L1), 1238 Parts = [L3,L2,L1]. 1281 split_vpn(VPN, [L3,L2,L1]), 1284 pt_delta_append_if_new(Out2,Out, pt(L1Idx, L1, PPN))
|
H A D | decoding_net4_tests.pl | 421 length(L1, 1).
|
H A D | decoding_net3.pl | 1559 word_to_num(L1W, L1), 1564 Parts = [L3,L2,L1].
|
H A D | decoding_net3_multid.pl | 1578 word_to_num(L1W, L1), 1583 Parts = [L3,L2,L1].
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | grace.pl | 834 Goal =.. [N, V, L, L1], 838 Call =.. [N, V, L, L1] 840 compile_term(select_value(V, L, L1) :- Call),
|
H A D | options.pl | 458 convert_pred_list([[P, N]|L], [[P, S]|L1]) :- 465 convert_pred_list(L, L1).
|
/barrelfish-master/usr/eclipseclp/Mercury/ |
H A D | m_tree234.pl | 2688 keys_2(T1, L0, L1), 2689 keys_2(T0, [K0 | L1], L). 2691 keys_2(T2, L0, L1), 2692 keys_2(T1, [K1 | L1], L2), 2695 keys_2(T3, L0, L1), 2696 keys_2(T2, [K2 | L1], L2), 2710 values_2(T1, L0, L1), 2711 values_2(T0, [V0 | L1], L). 2713 values_2(T2, L0, L1), 2714 values_2(T1, [V1 | L1], L [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | fd_arith.pl | 538 sort(2, =<, L, L1), 539 var_sort(L1, L2). 543 linearize(A, L, L1, C0, C2), 544 linearize(B, L1, LC, C2, C1). 1438 negate([K*V|L1], T) :- 1443 negate(L1, T1).
|
H A D | environment.pl | 541 halve(Half, FList, L1, L2), 542 splice(L1, L2, NewList), 610 splice([H1|L1], [H2|L2], [H1, H2|R]) :- 611 splice(L1, L2, R).
|
H A D | systools.pl | 251 read_string(C1, end_of_line, L1, S1), 254 put_string(L1, S1),
|
H A D | suspend.pl | 192 merge_intersect(L1, [], L1, []) :- !. 193 merge_intersect(L1, L2, Merged, Common) :- 197 sort(0, >, L1, S1),
|
H A D | paddy.pl | 131 pathnames([F|L],[F1|L1]) :- 134 F1=F, pathnames(L,L1) 135 ; get_flag(cwd,X), append_strings(X,Fc,F1), pathnames(L,L1)). 1023 not D, !, S=..[F|L], dummies(L,L1), S1=..[F|L1], compile_term(S1).
|
H A D | kernel.pl | 2115 % subtract(L1, L2, L3) 2116 % L3 = L1 - L2 2750 eval(breal_from_bounds(L, U), R, M) :- !, eval(L,L1,M), eval(U,U1,M), breal_from_bounds(L1, U1, R). 6467 [I0,L1|RecHeads], RecHeads, 6469 [I1,L1|RecCalls], RecCalls, 6487 [I0,L1|RecHeads], RecHeads, 6489 [I,L1|RecCalls], RecCalls, 6543 [I,L1|RecHeads], RecHeads, 6545 [I1,L1|RecCall [all...] |
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | graphic.pl | 715 only_positions([(Pos, _Name) | L], [Pos | L1]) :- 716 only_positions(L, L1).
|
H A D | math-fourier.pl | 529 mult_const(eq0(L, K), K1, L1), 530 add_eq0(eq0(B, H1), L1, eq0(M1, N1)), 555 mult_const(eq0(D, C), K1, L1), 556 add_eq0(eq0(L, H1), L1, eq0(M1, N1)),
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extchr.tex | 711 {\tt append(L1,[],L2) <=> L1=L2} together with {\tt label\_with\index{label\_with declaration} 712 append(L1,L2,L3) if true}. 1034 \+nonground(Y), remove_higher(Y,[A|L],L1), remove(Y,L1,L2) | 1051 \+nonground(Y), remove_higher(Y,[A|L],L1), remove(Y,L1,L2),
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | ech.pl | 319 append(Index, ConsArgs, L1), 320 append(L1, MetaArgs, ArgList), 1369 intersect([V1|L1], L2, Intersect, Remain) :- 1373 ), intersect(L1, L2, Intersect0, Remain0). 1813 L1 is L0 + 1, 1814 count_dead(Ss, L1, L, D1, D). 2317 ordered_merge(L0, L1, L) :- 2319 L1 = [SIndex1|L11], 2329 ordered_merge(L00, L1, L2) 2336 ; ordered_merge(L00, L1, [all...] |
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umssocket.tex | 212 connect_machines([info(RHost, UpTime, Users, L1, _, _)|Rest], 216 L1 < 0.5, % load not too high
|
/barrelfish-master/doc/017-arm/ |
H A D | ARM.tex | 299 mapping of the kernel pages into every L1 page table of each process. 317 The L1 page table of the kernel address space is located inside the 705 \item Allocate L1 page table for kernel 712 \item Map the available physical memory in the kernel L1 page table
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | set.pl | 411 s_card(Lub,L1), 413 Card ::L2..L1
|
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | yoyo3.pl | 493 general_search([[ide,m,Ide]],L1,L2,Result) :-
|
H A D | check_entry.pl | 565 general_search([[ide,m,Ide]],L1,L2,Result) :-
|