/barrelfish-master/usr/skb/programs/ |
H A D | decoding_net3_multid.pl | 373 A3 = region{node_id:["ID"], blocks:[memory, [block{base: 50, limit: 100}]]}, 376 region_region_intersection(A3,B3,I3),
|
H A D | decoding_net3.pl | 335 A3 = region{node_id:["ID"], blocks:[memory, block{base: 50, limit: 100}]}, 338 region_region_intersection(A3,B3,I3),
|
/barrelfish-master/usr/eclipseclp/documents/visualisation/ |
H A D | annotate.tex | 374 Vars = [A1, B1, C1, D1, A2, B2, C2, D2, A3, B3, C3, D3], 377 foo:(A1 + A2 + A3 $= 200), % demand constraints 384 foo:(A3 + B3 + C3 + D3 $=< 400), 388 10*A1 + 7*A2 + 11*A3 + 414 viewable_create(vars, []([](A1, A2, A3), 426 [edge(1,'A',A1),edge(2,'A',A2),edge(3,'A',A3),
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | eplex.tex | 130 1-3: \( A1 + A2 + A3 = 21 \) 150 \min (10A1 + 7A2 + 200A3 + 8B1 + 5B2 + 10B3 + 5C1 + 5C2 + 8C3 + 9D1 + 3D2 + 7D3) 157 A1 + A2 + A3 & = & 21\\ 163 A3 + B3 + C3 + D3 & \leq & 40\\ 227 Vars = [A1,A2,A3,B1,B2,B3,C1,C2,C3,D1,D2,D3], 231 prob: (A1 + A2 + A3 \$= 21), 238 prob: (A3 + B3 + C3 + D3 \$=< 40), 242 10*A1 + 7*A2 + 200*A3 + 387 Vars = [A1,A2,A3,B1,B2,B3,C1,C2,C3,D1,D2,D3], 389 prob: (A1 + A2 + A3 \ [all...] |
/barrelfish-master/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 1497 Vars = [A1, B1, C1, D1, A2, B2, C2, D2, A3, B3, C3, D3], 1500 A1 + A2 + A3 $= 200, % client demand constraints 1507 A3 + B3 + C3 + D3 $=< 400, 1510 10*A1 + 7*A2 + 11*A3 + % transportation costs
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | kernel.tex | 1590 \item[A3] the lookup module 1606 Move A2 A3 1782 Move A2 A3 // call(Goal) 1790 Move A2 A3 // call(Recovery)
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | asm.pl | 799 instr(bi_not_ident_list(a(A1),a(A2),a(A3)), 318, [a(A1),a(A2),a(A3)]). 815 instr(bi_lt(a(A1),a(A2),a(A3),0), 334, [a(A1),a(A2),a(A3),i(0)]). 817 instr(bi_le(a(A1),a(A2),a(A3),0), 335, [a(A1),a(A2),a(A3),i(0)]). 819 instr(bi_gt(a(A1),a(A2),a(A3),0), 336, [a(A1),a(A2),a(A3),i(0)]). 821 instr(bi_ge(a(A1),a(A2),a(A3),0), 337, [a(A1),a(A2),a(A3), [all...] |
H A D | apply_macros.pl | 345 append_args(HeadPrefix, [T, A1, A3, N0, Ar], Head1), 347 append_args(HeadPrefix, [T, A2, A3, N, Ar], Recursion), 364 A1 = A3) 383 append_args(HeadPrefix, [T, A1, A3, N], Head1), 385 append_args(HeadPrefix, [T, A2, A3, N1], Recursion), 537 sumargs(Pred, Term, A1, A3, N, Module) :- 541 sumargs(Pred, Term, A2, A3, N1, Module). 581 sumnodes(Pred, Term, A1, A3, N0, Ar, Module) :- 586 sumnodes(Pred, Term, A2, A3, N, Ar, Module) 588 A1 = A3 [all...] |
/barrelfish-master/usr/eclipseclp/Eplex/ |
H A D | eplex_xpress.h | 98 # define CPXgetrhs(E,A1,A2,A3,A4) XPRSgetrhs(A1,A2,A3,A4) 99 # define CPXgetsense(E,A1,A2,A3,A4) XPRSgetrowtype(A1,A2,A3,A4) 100 # define CPXgetlb(E,A1,A2,A3,A4) XPRSgetlb(A1,A2,A3,A4) 101 # define CPXgetub(E,A1,A2,A3,A4) XPRSgetub(A1,A2,A3,A4) 102 # define CPXgetctype(E,A1,A2,A3,A4) XPRSgetcoltype(A1,A2,A3,A [all...] |
H A D | eplex_gurobi.h | 79 #define CPXgetrhs(E,A1,A2,A3,A4) GRBgetdblattrarray(A1,GRB_DBL_ATTR_RHS,A3,(A4)-(A3)+1,A2) 80 #define CPXgetsense(E,A1,A2,A3,A4) GRBgetcharattrarray(A1,GRB_CHAR_ATTR_SENSE,A3,(A4)-(A3)+1,A2) 81 #define CPXgetlb(E,A1,A2,A3,A4) GRBgetdblattrarray(A1,GRB_DBL_ATTR_LB,A3,(A4)-(A3)+1,A2) 82 #define CPXgetub(E,A1,A2,A3,A [all...] |
H A D | eplex_coin.h | 52 # define CPXgetrhs(E,A1,A2,A3,A4) coin_getrhs(A1,A2,A3,A4) 53 # define CPXgetsense(E,A1,A2,A3,A4) coin_getrowsense(A1,A2,A3,A4) 54 # define CPXgetlb(E,A1,A2,A3,A4) coin_getlb(A1,A2,A3,A4) 55 # define CPXgetub(E,A1,A2,A3,A4) coin_getub(A1,A2,A3,A4) 56 # define CPXgetctype(E,A1,A2,A3,A4) coin_getcoltype(A1,A2,A3,A [all...] |
H A D | eplex.c | 131 Log1(Call, A1)...Log6(Call, A1,A2,A3,A4,A5,A6) 168 # define Log3(C,A1,A2,A3) {\ 170 "Transform_Quoted(C)";",A1,A2,A3);\ 174 # define Log4(C,A1,A2,A3,A4) {\ 176 "Transform_Quoted(C)";",A1,A2,A3,A4); \ 180 # define Log5(C,A1,A2,A3,A4,A5) {\ 182 "Transform_Quoted(C)";",A1,A2,A3,A4,A5); \ 186 # define Log6(C,A1,A2,A3,A4,A5,A6) {\ 188 "Transform_Quoted(C)";",A1,A2,A3,A4,A5,A6); \ 198 # define Log3(C,A1,A2,A3) [all...] |
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | xml_utilities.pl | 397 "pound"-[163], % pound sign, U+00A3 ISOnum>
|
H A D | logarr.pl | 80 array_to_list(array($(A0,A1,A2,A3),Size), L0) :- 85 subarray_to_list(3, N, 0, A3, L3, []). 195 subarray_to_list(K, N, M, $(A0,A1,A2,A3), L0, L) :- 202 subarray_to_list(3, N1, M1, A3, L3, L).
|
H A D | intervals.pl | 102 (A1 u A2 u A3...) /\ (B1 u B2 u B3... ) =
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/bn/asm/ |
H A D | ppc64-mont.pl | 134 $A0="f10"; $A1="f11"; $A2="f12"; $A3="f13"; 300 lfd $A3,`$FRAME+88`($sp) 308 fcfid $A3,$A3 323 stfd $A3,32($nap_d) 324 fmul $T3a,$A3,$ba 325 fmul $T3b,$A3,$bb 339 fmul $dota,$A3,$bc 340 fmul $dotb,$A3,$bd 408 lfd $A3,` [all...] |
/barrelfish-master/lib/msun/ld80/ |
H A D | s_expl.c | 251 q = r2 + z * (A2 + r * A3) + z * z * (A4 + r * A5) + z * z * z * A6;
|
H A D | k_expl.h | 60 A3 = 1.6666666666666119e-1, /* 0x15555555555490.0p-55 */ variable 245 q = r2 + z * (A2 + r * A3) + z * z * (A4 + r * A5) + z * z * z * A6; 247 q = r2 + z * A2 + z * r * (A3 + r * A4 + z * (A5 + r * A6));
|
/barrelfish-master/lib/msun/ld128/ |
H A D | s_expl.c | 292 q = r2 + r * r * (A2 + r * (A3 + r * (A4 + r * (A5 + r * (A6 +
|
H A D | k_expl.h | 70 A3 = 1.66666666666666666666666666651085500e-1L, variable 264 q = r2 + r * r * (A2 + r * (A3 + r * (A4 + r * (A5 + r * (A6 +
|
/barrelfish-master/lib/msun/bsdsrc/ |
H A D | b_log.c | 91 static double A3 = .002232139987919447809; variable 396 q = u*v*(A1 + v*(A2 + v*(A3 + v*A4))); 456 q = u*v*(A1 + v*(A2 + v*(A3 + v*A4)));
|
/barrelfish-master/include/ |
H A D | k_expl.h | 70 A3 = 1.66666666666666666666666666651085500e-1L, variable 264 q = r2 + r * r * (A2 + r * (A3 + r * (A4 + r * (A5 + r * (A6 +
|