Searched refs:A3 (Results 1 - 22 of 22) sorted by last modified time

/barrelfish-master/usr/skb/programs/
H A Ddecoding_net3_multid.pl373 A3 = region{node_id:["ID"], blocks:[memory, [block{base: 50, limit: 100}]]},
376 region_region_intersection(A3,B3,I3),
H A Ddecoding_net3.pl335 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 Dannotate.tex374 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 Deplex.tex130 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 Declipse.tex1497 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 Dkernel.tex1590 \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 Dasm.pl799 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 Dapply_macros.pl345 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 Deplex_xpress.h98 # 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 Deplex_gurobi.h79 #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 Deplex_coin.h52 # 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 Deplex.c131 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 Dxml_utilities.pl397 "pound"-[163], % pound sign, U+00A3 ISOnum>
H A Dlogarr.pl80 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 Dintervals.pl102 (A1 u A2 u A3...) /\ (B1 u B2 u B3... ) =
/barrelfish-master/lib/openssl-1.0.0d/crypto/bn/asm/
H A Dppc64-mont.pl134 $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 Ds_expl.c251 q = r2 + z * (A2 + r * A3) + z * z * (A4 + r * A5) + z * z * z * A6;
H A Dk_expl.h60 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 Ds_expl.c292 q = r2 + r * r * (A2 + r * (A3 + r * (A4 + r * (A5 + r * (A6 +
H A Dk_expl.h70 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 Db_log.c91 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 Dk_expl.h70 A3 = 1.66666666666666666666666666651085500e-1L, variable
264 q = r2 + r * r * (A2 + r * (A3 + r * (A4 + r * (A5 + r * (A6 +

Completed in 154 milliseconds