Searched refs:C1 (Results 26 - 47 of 47) sorted by relevance

12

/barrelfish-master/usr/skb/programs/
H A Dqueries.pl91 % findall([C1,C2],cache_share(C1,C2,Level),CoreIDs).
H A Ddecoding_net4.pl241 % 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 Dtkdebug.tex262 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 Dmodelling.tex219 Carries = [C1,C2,C3,C4],
224 C1 #= M,
225 C2 + S + M #= O + 10*C1,
/barrelfish-master/usr/eclipseclp/Opium/demo/
H A Dcheck_entry.pl1115 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 Dfd_arith.pl541 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 Ddb.pl777 '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 Dforeign.pl307 C1 is C + 1,
308 local_variables(I1, Args, C1, Count, M).
H A Dfd.pl802 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 Dgraphic.pl780 next_color(C, C1) :-
781 C1 is C + 1.
H A Ddomain.pl2040 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 Dprop.pl508 C1 is C + 1,
514 make_local_array(goals(C1, 3)),
/barrelfish-master/usr/eclipseclp/config/
H A Dconfig.guess732 C1*:ConvexOS:*:* | convex:ConvexOS:C1*:*)
/barrelfish-master/lib/acpica/source/tools/examples/
H A Dextables.c424 All CPUs support C1 (V1) : 0
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_union.pl511 (NU1 > 0 -> C1 is Ci+N, ucp(Lengths, NU1, C1,Co)
H A Dxml_acquisition.pl789 | range( 16'02BB, 16'02C1 )
991 | range( 16'05C1, 16'05C2 )
H A Dxml_utilities.pl415 "rho"-[961], % greek small letter rho, U+03C1 ISOgrk3
/barrelfish-master/lib/dmalloc/
H A Ddmalloc.c3822 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 Declipse.tex1497 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 Ddatabase-sec.tex932 retr_tup(c(C1,B3)).
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Dech.pl1879 ; SuspL = SuspL0, C1 is C + 1,
1880 setarg(count of ech, Attr, C1)
/barrelfish-master/usr/eclipseclp/documents/applications/
H A Dtutorial.tex777 foreacharg(C1,C) do
778 C1 is A1 + B1

Completed in 251 milliseconds

12