/barrelfish-master/lib/msun/src/ |
H A D | k_sinf.c | 28 S2 = 0x111110896efbb2.0p-59, /* 0.0083333293858894631756 */ variable 45 return (x + s*(S1+z*S2)) + s*w*r;
|
H A D | k_sin.c | 35 * |----- - (1+S1*x +S2*x +S3*x +S4*x +S5*x +S6*x )| <= 2 42 * r = x *(S2+x *(S3+x *(S4+x *(S5+x *S6)))) 53 S2 = 8.33333333332248946124e-03, /* 0x3F811111, 0x1110F8A6 */ variable 66 r = S2+z*(S3+z*S4) + z*w*(S5+z*S6);
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic_make_overlap_bivs.pl | 109 Task2 = task with [start:S2,duration:D2], 110 no_possible_overlap(S1,S2,D2), !, 114 Task2 = task with [start:S2,duration:D2,resource:R2], 115 must_overlap(S1,S2,D2), !, 121 Task2 = task with [start:S2,duration:D2,resource:R2], 127 demon_suspend(set_biv(S1,S2,D2,R2,Biv,Susp1), 129 [[S1,S2,D2]->min,[S1,S2,D2]->max], 136 no_possible_overlap(S1,S2,D2) :- 137 (get_min(S1)>=get_max(S2) [all...] |
H A D | make_overlap_bivs.pl | 109 Task2 = task with [start:S2,duration:D2], 110 no_possible_overlap(S1,S2,D2), !, 114 Task2 = task with [start:S2,duration:D2,resource:R2], 115 must_overlap(S1,S2,D2), !, 121 Task2 = task with [start:S2,duration:D2,resource:R2], 127 demon_suspend(set_biv(S1,S2,D2,R2,Biv,Susp1), 129 [[S1,S2,D2]->min,[S1,S2,D2]->max], 136 no_possible_overlap(S1,S2,D2) :- 137 (mindomain(S1)>=maxdomain(S2) [all...] |
H A D | ic_probing_tests.pl | 102 Starts=[S1,S2,S3,S4], 104 ic:(S2::3..10), 110 CostFun= max([S1+D1,S2+D2,S3+D3,S4+D4]), 314 ( foreach(task(S2,D2), Tasks), 318 ( OldStart2 is tent_get(S2), 319 OldEnd2 is tent_get(S2)+tent_get(D2),
|
H A D | probing_tests.pl | 101 Starts=[S1,S2,S3,S4], 103 fd:(S2::3..10), 109 CostFun= maxlist([S1+D1,S2+D2,S3+D3,S4+D4]), 312 ( foreach(task(S2,D2), Tasks), 316 ( OldStart2 is tent_get(S2), 317 OldEnd2 is tent_get(S2)+tent_get(D2),
|
H A D | ic_probe_search.pl | 115 Task2 = task with [start:S2,duration:D2,resource:R2], 116 (Biv=0,add_con([S1>=S2+D2],[ic,linear(Handle)],Options) 119 add_con([S1>=S2,S1<S2+D2],[ic,linear(Handle)],Options) 122 add_con([S2>S1],[ic,linear(Handle)],Options) 282 Task2 = task with [start:S2,duration:D2], 283 Olap is min(tent_get(S2)+tent_get(D2)-tent_get(S1), 284 tent_get(S1)+tent_get(D1)-tent_get(S2))
|
/barrelfish-master/lib/msun/ld80/ |
H A D | k_sinl.c | 44 S2 = 0.0083333333333333332, /* 0x11111111111111.0p-59 */ variable 59 r = S2+z*(S3+z*(S4+z*(S5+z*(S6+z*(S7+z*S8)))));
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | s_lists.pl | 90 s_insertion(Element, S1, S2) :- 93 slist_set(L2, S2). 130 s_intersection(S1, S2, S) :- 132 slist_set(L2, S2), 137 s_delta(S1, S2, S) :- 139 slist_set(L2, S2), 145 s_remove(Element, S1, S2) :- 148 slist_set(L2, S2). 152 s_union(S1, S2, S) :- 154 slist_set(L2, S2), [all...] |
H A D | conjunto.pl | 53 S `:: {}.. {1,3,5}, S1 `:: {1} .. {1,3,4}, S2 `::{3,4}..{3,4,5}, 54 all_disjoint([S,S1,S2]). 58 S2 = S2{{3, 4} .. {3, 4, 5}} 61 S{{} .. {5}} dis_s S2{{3, 4} .. {3, 4, 5}} 471 [eclipse 2]: S `:: {}.. {1,2,3}, [S1,S2] `:: {}..{3,4,5}, 472 S \\/ S1 `= S2. 476 S2 = S2{{} .. {3, 4, 5}} 480 S2{{} [all...] |
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | s_lists.pl | 61 s_insertion(Element, S1, S2) :- 64 slist_set(L2, S2). 68 s_remove(Element, S1, S2) :- 71 slist_set(L2, S2). 128 s_intersection(S1, S2, S) :- 130 slist_set(L2, S2), 136 s_delta(S1, S2, S) :- 138 slist_set(L2, S2), 144 s_union(S1, S2, S) :- 146 slist_set(L2, S2), [all...] |
/barrelfish-master/lib/msun/ld128/ |
H A D | k_sinl.c | 34 S2 = 0.0083333333333333333333333333333331135404851288270047L, variable 55 r = S2+z*(S3+z*(S4+z*(S5+z*(S6+z*(S7+z*(S8+
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | read.pl | 130 read(S1, 999, Arg1, S2), 131 read_args(S2, RestArgs, S3), !, 142 read(S1, 999, Arg1, S2), 143 read_args(S2, RestArgs, S3), 161 read(S1, 999, Arg1, S2), 162 read_list(S2, RestArgs, S3), !, 166 read(S1, 1200, Term, S2), 167 expect(')', S2, S3), !, 171 read(S1, 1200, Term, S2), 172 expect(')', S2, S [all...] |
H A D | distfix.pl | 168 read(S1, 999, Arg1, S2), 169 read_args(S2, RestArgs, S3), !, 180 read(S1, 999, Arg1, S2), 181 read_args(S2, RestArgs, S3), 189 distfix_read(Pattern, S1, S2), 191 exprtl(S2, Prec, Term, Precedence, Answer, S). 207 read(S1, 999, Arg1, S2), 208 read_list(S2, RestArgs, S3), !, 212 read(S1, 1200, Term, S2), 213 expect(')', S2, S [all...] |
H A D | random.pl | 43 S2 is Seed mod 30323, 44 setval(seed, [S0,S1,S2]).
|
/barrelfish-master/usr/skb/programs/ |
H A D | decoding_net4_tests.pl | 118 alloc(S1, Size2M, Reg1, S2), 119 printf("Allocated (1): Reg=%p\nNewState=%p\n", [Reg1,S2]), 120 alloc(S2, Size2M, Reg2, S3), 138 state_add_free(S1, ["GDDR"], [block(0,Size)], S2), 139 state_add_avail(S2, ["SMPT_IN"], 32, S3), 166 assert_conf_node(S1, ["SMPT_IN"],["SMPT_OUT"], 34, 32, S2), 167 state_add_free(S2, ["DRAM"], [block(0,Size)], S3), 197 assert_conf_node(S1, ["SMPT_IN"],["SMPT_OUT"], 34, 32, S2), 198 state_add_free(S2, ["DRAM"], [block(0,Size)], S3), 217 assert_vspace_node(S1, region(["IN"], block(0,Size)), name(["MMU"], 0), S2), [all...] |
H A D | bridge_linux.pl | 55 S2 is H2 - B2, 56 Bridge2 = [buselement(bridge, Addr, S, B2, H2, S2, mem, prefetchable, pcie, 0)];
|
H A D | decoding_net4_support.pl | 266 add_SYSTEM(S1, [], S2), 271 state_add_free(S2, ["DRAM"], [Block], NewS), 295 assert_conf_node(S1, MMU_IN_ID, MMU_OUT_ID, 21, NumSlots, S2), 307 assert_vspace_node(S2, 330 % add_pci(S1, addr(0,0,0), _, S2), 331 % remove_pci(S2, addr(0,0,0), S3), 348 assert_vspace_node(S1, region(SockOutId, block(0, EndTranslate)), name(SockId,0), S2), 364 alloc(S2, Size, region(GDDR_ID, block(0, Limit)), NewS). 425 %add_PCI(S0, Id, S2)
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | kb.pl | 317 concat_strings(S1," >> ",S2), 318 concat_strings(S2,FullName,Command), 1601 domains(R2, S2), 1602 'KB_link_join_atts'( Cond, [R1| S1], [R2| S2], Args1, Args2), 1603 'KB_flatten'(Cond, [R1|S1], [R2|S2], Args1, Args2, Xtrs), 1613 domains(R2, S2), 1614 'KB_link_join_atts'( Cond, [R1| S1], [R2| S2], Args1, Args2), 1615 'KB_flatten'(Cond, [R1|S1], [R2|S2], Args1, Args2, Xtrs), 1619 RS2 =.. [R2|S2], 1621 'KB_projectj'( Proj, [R1|S1], RS1, RArgs1, [R2|S2], RS [all...] |
H A D | t_all.pl | 318 open(F1,read,S1), open(F2,read,S2), 319 ( similar_streams(S1, S2) -> 320 close(S1), close(S2) 322 close(S1), close(S2), 326 similar_streams(S1, S2) :- 327 at_eof(S1), at_eof(S2), !. 328 similar_streams(S1, S2) :- 331 ( read_string(S2, end_of_line, _, Line2) -> true ; Line2 = "" ), 335 similar_streams(S1, S2)
|
H A D | ordset.pl | 282 ord_disjoint(S1, S2) :- 284 ord_disjoint1(S1, S2). 321 ord_add_element(S1, E, S2) :- 322 ord_insert(S1, E, S2). 389 ord_intersect(S1, S2, S) :- 390 ord_intersection(S1, S2, S). 394 ord_intersection(S1, S2, L) :- 396 ord_intersection1(S1, S2, L). 502 ord_superset(S1, S2) :- 503 ord_subset(S2, S [all...] |
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | propiachr.tex | 38 the start times $S1$ and $S2$ 41 {\em noclash} $ \Leftrightarrow (S1 >= S2 + 5 \vee S2 >= S1 + 5)$. 44 noclash(S1,S2) :- 45 ic:(S1 \$>= S2+5). 46 noclash(S1,S2) :- 47 ic:(S2 \$>= S1+5). 63 noclash(S1,S2) <=> ic:(S2 #< S1+5) | ic:(S1 #>= S2 [all...] |
H A D | modelling.tex | 300 no_overlap(S1,D1,S2,D2) :- S1 #>= S2 + D2. 301 no_overlap(S1,D1,S2,D2) :- S2 #>= S1 + D1. 316 delay no_overlap(S1,D1,S2,D2,B) if var(B). 317 no_overlap(S1,D1,S2,D2,0) :- S1 #>= S2 + D2. 318 no_overlap(S1,D1,S2,D2,1) :- S2 #>= S1 + D1. 322 no_overlap(S1,D1,S2,D [all...] |
H A D | hybrid.tex | 170 ic_constraints(Time,S1,S2,B1,B2) :- 173 ic: ([S1,S2]::1..20), 175 overlap(S2,5,Time,B2), 178 eplex_constraints(S1,S2,S3) :- 182 before(S2,5,S3). 184 hybrid1(Time, [S1,S2,S3], End) :- 191 ic_constraints(Time,S1,S2,B1,B2), 193 eplex_constraints(S1,S2,S3), 196 labeling([B1,B2,S1,S2]). 200 $S2 [all...] |
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | puzzle.pl | 29 structure([friend(N1,C1,S1), friend(N2,C2,S2), friend(N3,C3,S3)]).
|