Searched refs:L1 (Results 76 - 100 of 103) sorted by relevance

12345

/barrelfish-master/lib/msun/ld128/
H A Ds_expl.c278 r1 = x - fn * L1;
/barrelfish-master/usr/skb/programs/
H A Dbridge_fake_babybel.pl649 append(Base, High, L1),
650 append(L1, Size, L2),
719 foreach(L1,ChildList)
721 tree2list(El,L1)
H A Dglobalthreadalloc.pl107 findall(H, (memory_affinity(L1, S, NUMADomain), H is L1 + S), AfH),
H A Ddecoding_net2.pl1233 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 Ddecoding_net4_tests.pl421 length(L1, 1).
H A Ddecoding_net3.pl1559 word_to_num(L1W, L1),
1564 Parts = [L3,L2,L1].
H A Ddecoding_net3_multid.pl1578 word_to_num(L1W, L1),
1583 Parts = [L3,L2,L1].
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dgrace.pl834 Goal =.. [N, V, L, L1],
838 Call =.. [N, V, L, L1]
840 compile_term(select_value(V, L, L1) :- Call),
H A Doptions.pl458 convert_pred_list([[P, N]|L], [[P, S]|L1]) :-
465 convert_pred_list(L, L1).
/barrelfish-master/usr/eclipseclp/Mercury/
H A Dm_tree234.pl2688 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 Dfd_arith.pl538 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 Denvironment.pl541 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 Dsystools.pl251 read_string(C1, end_of_line, L1, S1),
254 put_string(L1, S1),
H A Dsuspend.pl192 merge_intersect(L1, [], L1, []) :- !.
193 merge_intersect(L1, L2, Merged, Common) :-
197 sort(0, >, L1, S1),
H A Dpaddy.pl131 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 Dkernel.pl2115 % 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 Dgraphic.pl715 only_positions([(Pos, _Name) | L], [Pos | L1]) :-
716 only_positions(L, L1).
H A Dmath-fourier.pl529 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 Dextchr.tex711 {\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 Dech.pl319 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 Dumssocket.tex212 connect_machines([info(RHost, UpTime, Users, L1, _, _)|Rest],
216 L1 < 0.5, % load not too high
/barrelfish-master/doc/017-arm/
H A DARM.tex299 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 Dset.pl411 s_card(Lub,L1),
413 Card ::L2..L1
/barrelfish-master/usr/eclipseclp/Opium/demo/
H A Dyoyo3.pl493 general_search([[ide,m,Ide]],L1,L2,Result) :-
H A Dcheck_entry.pl565 general_search([[ide,m,Ide]],L1,L2,Result) :-

Completed in 285 milliseconds

12345