/barrelfish-2018-10-04/lib/msun/src/ |
H A D | s_cbrtf.c | 28 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 D | s_cbrt.c | 26 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 D | matrix.c | 37 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 D | bags.pl | 269 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 D | random.pl | 25 B2 is (A2*170) mod 30323, 26 setval(seed,[B0,B1,B2]),
|
H A D | intervals.pl | 102 (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 D | bridge_linux.pl | 48 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 D | scheduler.pl | 77 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 D | bridge_fake_babybel.pl | 57 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 D | bridge.pl | 46 adjust_range(X, buselement(T,A,Sec,B1,H1,S), buselement(T,A,Sec,B2,H2,S)) :- 47 B2 is B1 + X,
|
H A D | bridge_page_orig_naturally_aligned.pl | 88 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 D | bridge_postorder.pl | 336 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 D | bridge_postorder_sorted.pl | 361 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 D | bridge_postorder_sorted_ascending.pl | 364 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 D | bridge_postorder_sorted_sum.pl | 365 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 D | bridge_postorder_sorted_sum_ascending.pl | 366 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 D | bridge_fake_bigfish.pl | 86 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 D | bridge_page.pl | 110 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 D | anti_unify.pl | 126 H = subst(A2, B2, G2), 127 ( A1 == A2, B1 == B2 -> G1 = G2 ; true ),
|
H A D | sicstus.pl | 215 block_to_clauses((B1,B2), D1, C, Pred) :- 218 block_to_clauses(B2, C0, C, Pred).
|
H A D | suspend.pl | 1543 ?- >(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 D | eplex.tex | 150 \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 D | hybrid.tex | 170 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 D | annotate.tex | 374 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 D | tabnotebook.tcl | 185 bind $data(tabs) <B2-Motion> [namespace code {
|