Searched refs:A2 (Results 1 - 25 of 37) sorted by last modified time

12

/barrelfish-master/usr/skb/programs/
H A Ddecoding_net3_multid.pl369 A2 = region{node_id:["ID"], blocks:[memory, [block{base: 50, limit: 100}]]},
372 region_region_intersection(A2,B2,I2),
H A Ddecoding_net3.pl331 A2 = region{node_id:["ID"], blocks:[memory, block{base: 50, limit: 100}]},
334 region_region_intersection(A2,B2,I2),
/barrelfish-master/lib/cxx/cxx/
H A Dlocale.cpp104 template <class T, class A0, class A1, class A2>
107 make(A0 a0, A1 a1, A2 a2)
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dscheduler.pl141 A1 starts_after_end A2 :-
142 starts_after_end(A1, A2, _).
144 starts_after_end(activity with handle:A1, activity with handle:A2, Constraint) :-
146 schedule_add(starts_after_end(A1, A2, 0), Cstr),
148 starts_after_end(activity with handle:A1, (activity with handle:A2)+Delay, Constraint) :-
150 schedule_add(starts_after_end(A1, A2, Delay), Cstr),
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Dech.pl1385 changes CommaList (in the form (A1,A2,....An) to a normal List)
1387 make_list((A1,A2), [A1|L]) :-
1389 make_list(A2, L).
H A Ddiaz_bool.pl89 pair_constraints([_,[K1,K2,K3]|A2],[[I1,I2,I3]|A1]):-
93 triplet_constraints(A2,A1,[I1,I2,I3]),
94 pair_constraints(A2,A1).
101 triplet_constraints([[K1,K2,K3]|A2],[[J1,J2,J3]|A1],[I1,I2,I3]):-
105 triplet_constraints(A2,A1,[I1,I2,I3]).
H A Ddomain.pl187 X::[A1|L1], X::[A2|L2] <=> intersection([A1|L1],[A2|L2],L) | X::L.
/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
383 foo:(A2 + B2 + C2 + D2 $=< 300),
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/userman/
H A Dextsuspend.tex215 equal_args(A1, A2, Vars) :-
216 (A1 == A2 ->
220 (var(A2) ->
221 Vars = bound(A1, A2)
226 var(A2) ->
227 Vars = inst(A2)
229 equal_terms(A1, A2, Vars)
238 equal_lists([X1|A1], [X2|A2], Vars) :-
243 equal_lists(A1, A2, Vars)
358 equal_args(A1, A2,
[all...]
/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\\
162 A2 + B2 + C2 + D2 & \leq & 30\\
227 Vars = [A1,A2,A3,B1,B2,B3,C1,C2,C3,D1,D2,D3],
231 prob: (A1 + A2 + A3 \$= 21),
237 prob: (A2 + B2 + C2 + D2 \$=< 30),
242 10*A1 + 7*A2 + 200*A3 +
302 Vars = [A1{0.0 .. 1e+20 @ 0.0}, A2{0.0 .. 1e+20 @ 21.0}, ....]
309 solution value for the variable (e.g., \verb'A2' ha
[all...]
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Ddatabase-sec.tex930 retr_tup(a(A1,A2,_)),
931 retr_tup(b(A2,_,B3)),
/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
1506 A2 + B2 + C2 + D2 $=< 300,
1510 10*A1 + 7*A2 + 11*A3 + % transportation costs
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dkernel.tex564 move(a(A1),a(A2)) & move from argument to argument \\
585 get_value(a(A1),a(A2)) & unify two argument registers \\
765 get_matched_value(a(A1),a(A2)) & match two arguments \\
1589 \item[A2] the caller module
1606 Move A2 A3
1782 Move A2 A3 // call(Goal)
1790 Move A2 A3 // call(Recovery)
/barrelfish-master/usr/eclipseclp/documents/applications/
H A Dtutorial.tex1661 output_item(S,data_item with [attr1:A1,attr2:A2]):-
1664 write(S,A2),
1681 output_item(S,data_item with [attr1:A1,attr2:A2]):-
1682 printf(S,"%s %d\n",[A1,A2]).
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dpaddy.pl1062 M=[subst(A1,B1,G1)|T], T=[subst(A2,B2,G2)|_] ->
1063 (A1==A2, B1==B2 ->
H A Dmodes.pl785 arg(N, T2, A2),
787 lub(A1, A2, Alub),
H A Dasm.pl462 instr(move(a(A1),a(A2)), 2, [a(A1),a(A2)]).
467 instr(get_value(a(A1),a(A2)), 7, [a(A1),a(A2)]).
661 instr(get_matched_value(a(A1),a(A2)), 188, [a(A1),a(A2)]).
775 instr(bi_cut_to_stamp(a(A1),a(A2),0), 294, [a(A1),a(A2),0]).
796 instr(bi_identical(a(A1),a(A2)), 315, [a(A1),a(A2)])
[all...]
H A Dapply_macros.pl342 append_args(HeadPrefix, [T, A0, A2], Head0),
344 append_args(HeadPrefix, [T, A1, A2, 0, N], Call0),
346 append_args(HeadPrefix, [Arg, A1, A2], Call1),
347 append_args(HeadPrefix, [T, A2, A3, N, Ar], Recursion),
355 A1 = A2
384 append_args(GenPred, [Arg, A1, A2], Apply),
385 append_args(HeadPrefix, [T, A2, A3, N1], Recursion),
540 call(Pred, Arg, A1, A2)@Module,
541 sumargs(Pred, Term, A2, A3, N1, Module).
572 sumnodes_body(Pred, Term, A0, A2, Modul
[all...]
H A Danti_unify.pl126 H = subst(A2, B2, G2),
127 ( A1 == A2, B1 == B2 -> G1 = G2 ; true ),
/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,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,A4) GRBgetdblattrarray(A1,GRB_DBL_ATTR_UB,A3,(A4)-(A3)+1,A2)
83 #define CPXgetctype(E,A1,A2,A3,A4) GRBgetcharattrarray(A1,GRB_CHAR_ATTR_VTYPE,A3,(A4)-(A3)+1,A2)
[all...]
H A Deplex_cplex.h359 #define Get_Int_Param(E,L,A1,A2) CPXgetintparam(E,A1,A2)
360 #define Get_Dbl_Param(E,L,A1,A2) CPXgetdblparam(E,A1,A2)
361 #define Get_Str_Param(E,L,A1,A2) CPXgetstrparam(E,A1,A2)
362 #define Set_Int_Param(E,L,A1,A2) CPXsetintparam(E,A1,A2)
363 #define Set_Dbl_Param(E,L,A1,A2) CPXsetdblparam(E,A1,A2)
[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,A
[all...]
H A Deplex.c131 Log1(Call, A1)...Log6(Call, A1,A2,A3,A4,A5,A6)
162 # define Log2(C,A1,A2) {\
164 "Transform_Quoted(C)";",A1,A2);\
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,A
[all...]
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dxml_utilities.pl259 "cent"-[162], % cent sign, U+00A2 ISOnum>

Completed in 245 milliseconds

12