Searched refs:B2 (Results 1 - 25 of 34) sorted by relevance

12

/barrelfish-2018-10-04/lib/msun/src/
H A Ds_cbrtf.c28 B2 = 642849266; /* B2 = (127-127.0/3-24/3-0.03306235651)*2**23 */ variable
51 SET_FLOAT_WORD(t,sign|((high&0x7fffffff)/3+B2));
H A Ds_cbrt.c26 B2 = 696219795; /* B2 = (1023-1023/3-54/3-0.03306235651)*2**20 */ variable
74 INSERT_WORDS(t,sign|((high&0x7fffffff)/3+B2),0);
/barrelfish-2018-10-04/usr/skb/testapps/
H A Dmatrix.c37 int B2[3][4] = {{1,2,3,4}, //matrix size 2x4 variable
104 matrix_print(2, 4, 3, 4, B2);
106 matrix_mul(4, 2, 5, 2 , A2, 3, 4, B2, 9, 9, C2);
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dbags.pl269 test_sub_bag(bag(E1,M1,B1), bag(E2,M2,B2)) :-
271 test_sub_bag(C, E1, M1, B1, E2, M2, B2).
273 test_sub_bag(>, E1, M1, B1, _, _, B2) :-
274 test_sub_bag(bag(E1, M1, B1), B2).
275 test_sub_bag(=, E1, M1, B1, E1, M2, B2) :-
277 test_sub_bag(B1, B2).
280 bag_union(bag(E1,M1,B1), bag(E2,M2,B2), B3) :-
282 bag_union(C, E1, M1, B1, E2, M2, B2, B3).
286 bag_union(<, E1, M1, B1, E2, M2, B2, bag(E1,M1,B3)) :-
287 bag_union(B1, bag(E2, M2, B2), B
[all...]
H A Drandom.pl25 B2 is (A2*170) mod 30323,
26 setval(seed,[B0,B1,B2]),
H A Dintervals.pl102 (A1 u A2 u A3...) /\ (B1 u B2 u B3... ) =
103 (A1 /\ B1 ) u (A2 /\ B1 ) u (A1 /\ B2) u (A2 /\ B2) ...
109 show that if A1 /\ B1 is not empty, then either A1 /\ B2 is empty or A2
118 (A1 u A2 ... ) - (B1 u B2 ...)
120 (A1 u A2 ... ) /\ -(B1 u B2 u B3...)
122 (A1 u A2 ... ) /\ -B1 /\ -B2 /\ B3 ...
124 (A1 /\ -B1 /\ -B2...) u (A2 /\ -B1 /\ -B2...) u ...
/barrelfish-2018-10-04/usr/skb/programs/
H A Dbridge_linux.pl48 convert_bridges([buselement(bridge, Addr, S, m(B1,H1), p(B2, H2),_)|T], L) :-
54 ( H2 >= B2 ->
55 S2 is H2 - B2,
56 Bridge2 = [buselement(bridge, Addr, S, B2, H2, S2, mem, prefetchable, pcie, 0)];
H A Dscheduler.pl77 parallelapp(N, M, B1, B2),
79 TM = thread(N, Min, B1, B2),
103 adjust_nr_cores(AvailableCores, DistrCores, [thread(N, M, B1, B2)|Inp], [thread(N, C, B1, B2)|Outp], NewDistrCores) :-
107 adjust_nr_cores(AvailableCores, DistrCores, [thread(N, M, B1, B2)|Inp], [thread(N, C, B1, B2)|Outp], NewDistrCores) :-
176 thread(N, M, B1, B2) = T,
177 TP = thread(N, RemCores, B1, B2),
179 PartT = thread(N, MissingThreads, B1, B2).
H A Dbridge_fake_babybel.pl57 convert_bridges([buselement(bridge, Addr, S, m(B1,H1), p(B2, H2),_)|T], L) :-
63 ( H2 >= B2 ->
64 S2 is H2 - B2,
65 Bridge2 = [buselement(bridge, Addr, S, B2, H2+1, S2+1, mem, prefetchable, pcie, 0)];
579 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
580 B2 is B1 + X,
H A Dbridge.pl46 adjust_range(X, buselement(T,A,Sec,B1,H1,S), buselement(T,A,Sec,B2,H2,S)) :-
47 B2 is B1 + X,
H A Dbridge_page_orig_naturally_aligned.pl88 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
89 B2 is B1 + X,
H A Dbridge_postorder.pl336 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
337 B2 is B1 + X,
H A Dbridge_postorder_sorted.pl361 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
362 B2 is B1 + X,
H A Dbridge_postorder_sorted_ascending.pl364 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
365 B2 is B1 + X,
H A Dbridge_postorder_sorted_sum.pl365 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
366 B2 is B1 + X,
H A Dbridge_postorder_sorted_sum_ascending.pl366 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
367 B2 is B1 + X,
H A Dbridge_fake_bigfish.pl86 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
87 B2 is B1 + X,
H A Dbridge_page.pl110 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
111 B2 is B1 + X,
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Danti_unify.pl126 H = subst(A2, B2, G2),
127 ( A1 == A2, B1 == B2 -> G1 = G2 ; true ),
H A Dsicstus.pl215 block_to_clauses((B1,B2), D1, C, Pred) :-
218 block_to_clauses(B2, C0, C, Pred).
H A Dsuspend.pl1543 ?- >(X,5,B1), <(X,7,B2), B1 and B2, X=7.
1582 ?- >(X,7,B1), <(X,5,B2), B1 or B2, X=7.
1629 ?- >(X,Y,B1), >(X,Y+10,B2), B1 => B2, X = 5, Y = 3.
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Deplex.tex150 \min (10A1 + 7A2 + 200A3 + 8B1 + 5B2 + 10B3 + 5C1 + 5C2 + 8C3 + 9D1 + 3D2 + 7D3)
158 B1 + B2 + B3 & = & 40\\
162 A2 + B2 + C2 + D2 & \leq & 30\\
227 Vars = [A1,A2,A3,B1,B2,B3,C1,C2,C3,D1,D2,D3],
232 prob: (B1 + B2 + B3 \$= 40),
237 prob: (A2 + B2 + C2 + D2 \$=< 30),
243 8*B1 + 5*B2 + 10*B3 +
387 Vars = [A1,A2,A3,B1,B2,B3,C1,C2,C3,D1,D2,D3],
390 prob: (B1 + B2 + B3 \$= 40),
395 prob: (A2 + B2
[all...]
H A Dhybrid.tex170 ic_constraints(Time,S1,S2,B1,B2) :-
175 overlap(S2,5,Time,B2),
176 ic: (B1+B2 #= 1).
191 ic_constraints(Time,S1,S2,B1,B2),
196 labeling([B1,B2,S1,S2]).
248 ic_constraints(Time,S1,S2,B1,B2),
251 both_opt(labeling([B1,B2,S1,S2]),min(S3),End).
395 eplex_constraints_2(Time,S1,S2,S3,B1,B2) :-
402 % task 2 with duration 5 overlaps time point Time if B2 = 1
403 pos_overlap(S2,5,Time,B2)
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/
H A Dannotate.tex374 Vars = [A1, B1, C1, D1, A2, B2, C2, D2, A3, B3, C3, D3],
378 foo:(B1 + B2 + B3 $= 400),
383 foo:(A2 + B2 + C2 + D2 $=< 300),
389 8*B1 + 5*B2 + 10*B3 +
415 [](B1, B2, B3),
427 edge(1,'B',B1),edge(2,'B',B2),edge(3,'B',B3),
/barrelfish-2018-10-04/usr/eclipseclp/lib_tcl/widget/
H A Dtabnotebook.tcl185 bind $data(tabs) <B2-Motion> [namespace code {

Completed in 139 milliseconds

12