/barrelfish-master/usr/skb/programs/ |
H A D | queries.pl | 91 % findall([C1,C2],cache_share(C1,C2,Level),CoreIDs).
|
H A D | decoding_net4.pl | 241 % C1: Inserting block, is before existing block -> insert and terminate. 256 % C1: Empty lists are coalesced 286 %C1: Minimum until the first block. 420 % C1: need to allocate, no need to exclude C0, because the allocation will fail.
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | tkdebug.tex | 262 not_same_colour(Solver, C1-C2, Countries) :- 263 % get the colours for the countries C1 and C2 264 arg(C1, Countries, Colour1), 270 The code does indeed check that the countries \verb'C1' and \verb'C2' do 443 findall(C1-C2, (neighbour(C1,C2), C1=<N,C2=<N), Neighbours),
|
H A D | modelling.tex | 219 Carries = [C1,C2,C3,C4], 224 C1 #= M, 225 C2 + S + M #= O + 10*C1,
|
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | check_entry.pl | 1115 transl_case([C1,C2,C3],A) :- 1116 97 =< C1, 1117 C1 =< 122, 1119 name(A,[C1,C2,C3]). 1121 transl_case([C1,C2,C3],A) :- 1122 N1 is C1 + 32,
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | fd_arith.pl | 541 linearize(A + B, L, LC, C0, C1) :- 544 linearize(B, L1, LC, C2, C1). 545 linearize(C, L, L, C0, C1) :- 548 C1 is C + C0. 1444 negate([C|L], [C1|T]) :- 1445 C1 is -C, 1501 C1 is -(C + 1), 1503 fd_ge([C1, -1*X, K1*Y]).
|
H A D | db.pl | 777 'KBX_cond_parse'( C1 and C2, Rs, and( TC1, TC2)) :- 779 'KBX_cond_parse'( C1, Rs, TC1), 783 'KBX_cond_parse'( C1 or C2, Rs, or( TC1, TC2)) :- 785 'KBX_cond_parse'( C1, Rs, TC1),
|
H A D | foreign.pl | 307 C1 is C + 1, 308 local_variables(I1, Args, C1, Count, M).
|
H A D | fd.pl | 802 summary:"The constraint expression C1 and the constraint expression C2 is true. 805 template:"?C1 #/\\ ?C2", 806 desc:html(" This constraint states that both constraint expressions C1 and C2 must 807 be true. It is identical to normal conjunstion (C1, C2). 811 args:["?C1" : "An arithmetic constraint expression.", "?C2" : "An arithmetic constraint expression."], 813 fail_if:" Fails if one of C1 or C2 is false.\n\n", 1639 summary:"The constraint expression C1 is equivalent to the constraint expression C2. 1642 template:"?C1 #<=> ?C2", 1644 desc:html(" This constraint states that the constraint expressions C1 and C2 1654 args:["?C1" [all...] |
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | graphic.pl | 780 next_color(C, C1) :- 781 C1 is C + 1.
|
H A D | domain.pl | 2040 no_delayed_goals(((intersect(Z :: [I|J], Z - A1 :: C, Z - A1 :: B1), length(C, C1), length(B1, D1), C1 > D1), 'CHRkeep_heads_checking'(A :: [I|J], H, A - B :: C, D, A - B :: B1, E1))), 2068 no_delayed_goals(((intersect(Z :: [B|C], Z - A1 :: J, Z - A1 :: B1), length(J, C1), length(B1, D1), C1 > D1), 'CHRkeep_heads_checking'(A :: [B|C], D, A - I :: J, H, A - I :: B1, E1))), 2096 no_delayed_goals(((intersect(Z :: [I|J], A1 - Z :: C, A1 - Z :: B1), length(C, C1), length(B1, D1), C1 > D1), 'CHRkeep_heads_checking'(B :: [I|J], H, A - B :: C, D, A - B :: B1, E1))), 2124 no_delayed_goals(((intersect(Z :: [B|C], A1 - Z :: J, A1 - Z :: B1), length(J, C1), length(B1, D1), C1 > D1), 'CHRkeep_heads_checking'(A :: [B|C], D, I - A :: J, H, I - A :: B1, E1))),
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | prop.pl | 508 C1 is C + 1, 514 make_local_array(goals(C1, 3)),
|
/barrelfish-master/usr/eclipseclp/config/ |
H A D | config.guess | 732 C1*:ConvexOS:*:* | convex:ConvexOS:C1*:*)
|
/barrelfish-master/lib/acpica/source/tools/examples/ |
H A D | extables.c | 424 All CPUs support C1 (V1) : 0
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | cardinal_union.pl | 511 (NU1 > 0 -> C1 is Ci+N, ucp(Lengths, NU1, C1,Co)
|
H A D | xml_acquisition.pl | 789 | range( 16'02BB, 16'02C1 )
991 | range( 16'05C1, 16'05C2 )
|
H A D | xml_utilities.pl | 415 "rho"-[961], % greek small letter rho, U+03C1 ISOgrk3
|
/barrelfish-master/lib/dmalloc/ |
H A D | dmalloc.c | 3822 tchunkptr C0, C1;\ 3832 if ((C1 = X->child[1]) != 0) {\ 3833 if (RTCHECK(ok_address(M, C1))) {\ 3834 R->child[1] = C1;\ 3835 C1->parent = R;\
|
/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], 1502 C1 + C2 + C3 $= 300, 1505 A1 + B1 + C1 + D1 $=< 500, % plant capacity constraints 1512 5*C1 + 5*C2 + 8*C3 +
|
/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | database-sec.tex | 932 retr_tup(c(C1,B3)).
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | ech.pl | 1879 ; SuspL = SuspL0, C1 is C + 1, 1880 setarg(count of ech, Attr, C1)
|
/barrelfish-master/usr/eclipseclp/documents/applications/ |
H A D | tutorial.tex | 777 foreacharg(C1,C) do 778 C1 is A1 + B1
|