/barrelfish-master/usr/skb/programs/ |
H A D | decoding_net3_multid.pl | 369 A2 = region{node_id:["ID"], blocks:[memory, [block{base: 50, limit: 100}]]}, 372 region_region_intersection(A2,B2,I2),
|
H A D | decoding_net3.pl | 331 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 D | locale.cpp | 104 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 D | scheduler.pl | 141 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 D | ech.pl | 1385 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 D | diaz_bool.pl | 89 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 D | domain.pl | 187 X::[A1|L1], X::[A2|L2] <=> intersection([A1|L1],[A2|L2],L) | X::L.
|
/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 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 D | extsuspend.tex | 215 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 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\\ 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 D | database-sec.tex | 930 retr_tup(a(A1,A2,_)), 931 retr_tup(b(A2,_,B3)),
|
/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 1506 A2 + B2 + C2 + D2 $=< 300, 1510 10*A1 + 7*A2 + 11*A3 + % transportation costs
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | kernel.tex | 564 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 D | tutorial.tex | 1661 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 D | paddy.pl | 1062 M=[subst(A1,B1,G1)|T], T=[subst(A2,B2,G2)|_] -> 1063 (A1==A2, B1==B2 ->
|
H A D | modes.pl | 785 arg(N, T2, A2), 787 lub(A1, A2, Alub),
|
H A D | asm.pl | 462 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 D | apply_macros.pl | 342 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 D | anti_unify.pl | 126 H = subst(A2, B2, G2), 127 ( A1 == A2, B1 == B2 -> G1 = G2 ; true ),
|
/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,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,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 D | eplex_cplex.h | 359 #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 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,A [all...] |
H A D | eplex.c | 131 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 D | xml_utilities.pl | 259 "cent"-[162], % cent sign, U+00A2 ISOnum>
|