Searched refs:S2 (Results 1 - 25 of 53) sorted by relevance

123

/barrelfish-master/lib/msun/src/
H A Dk_sinf.c28 S2 = 0x111110896efbb2.0p-59, /* 0.0083333293858894631756 */ variable
45 return (x + s*(S1+z*S2)) + s*w*r;
H A Dk_sin.c35 * |----- - (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 Dic_make_overlap_bivs.pl109 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 Dmake_overlap_bivs.pl109 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 Dic_probing_tests.pl102 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 Dprobing_tests.pl101 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 Dic_probe_search.pl115 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 Dk_sinl.c44 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 Ds_lists.pl90 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 Dconjunto.pl53 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 Ds_lists.pl61 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 Dk_sinl.c34 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 Dread.pl130 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 Ddistfix.pl168 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 Drandom.pl43 S2 is Seed mod 30323,
44 setval(seed, [S0,S1,S2]).
/barrelfish-master/usr/skb/programs/
H A Ddecoding_net4_tests.pl118 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 Dbridge_linux.pl55 S2 is H2 - B2,
56 Bridge2 = [buselement(bridge, Addr, S, B2, H2, S2, mem, prefetchable, pcie, 0)];
H A Ddecoding_net4_support.pl266 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 Dkb.pl317 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 Dt_all.pl318 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 Dordset.pl282 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 Dpropiachr.tex38 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 Dmodelling.tex300 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 Dhybrid.tex170 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 Dpuzzle.pl29 structure([friend(N1,C1,S1), friend(N2,C2,S2), friend(N3,C3,S3)]).

Completed in 107 milliseconds

123