/barrelfish-master/lib/acpica/source/components/resources/ |
H A D | rsxface.c | 128 #define ACPI_COPY_FIELD(Out, In, Field) ((Out)->Field = (In)->Field) 129 #define ACPI_COPY_ADDRESS(Out, In) \ 130 ACPI_COPY_FIELD(Out, In, ResourceType); \ 131 ACPI_COPY_FIELD(Out, In, ProducerConsumer); \ 132 ACPI_COPY_FIELD(Out, In, Decode); \ 133 ACPI_COPY_FIELD(Out, In, MinAddressFixed); \ 134 ACPI_COPY_FIELD(Out, In, MaxAddressFixed); \ 135 ACPI_COPY_FIELD(Out, In, Info); \ 136 ACPI_COPY_FIELD(Out, I [all...] |
/barrelfish-master/usr/skb/programs/ |
H A D | objects3.pl | 203 filter_duplicates([val(Key, X),val(Key, Y)|Rest], Out) :- 204 filter_duplicates([val(Key, Y)|Rest], Out). 205 filter_duplicates([val(Key1, X), val(Key2, Y)|Rest], [val(Key1, X)|Out]) :- 207 filter_duplicates([val(Key2, Y)|Rest], Out). 288 format_object(X, Out), 289 write(Out), 300 format_slots([], In, Out) :- 301 append_strings(In, "", Out). 302 format_slots([S], In, Out) :- 303 format_slot(S, In, Out) [all...] |
H A D | decoding_net3.pl | 60 (foreach(Reg, RegLi), fromto([0], In, Out, Ptz) do 63 append(In, [B,LP], Out) 533 decode_step_region_part(S, SrcRegion, DstCurr, DstEnd, [(In,Out) | Tlx]) :- 534 (foreach(Dst, DstCurr), param(SrcRegion), param(In), param(Out), param(S), 545 decode_step_region_matching(S, In, Out, Is, Overlap), 557 findall((In,Out), translate(S, In, Out), Tlx), 593 (for(I,0,ItEnd), fromto([], In, Out, Confs), 597 append(In, [block_conf(SrcId, NVPN, NPPN)], Out) 622 split_region(InR, Size, Out) [all...] |
H A D | decoding_net2.pl | 424 Out), 425 Out = name{node_id: ["OUT", "IOMMU0", "PCI0"], address: [memory, [1]]}. 467 test_resolve2(Out) :- 481 name{node_id:["In2"], address:Out}, 484 test_resolve3(Out) :- 494 resolve(InRegion,Out). 583 (foreach((Base,Size), MemCandidates), fromto([], In, Out, FiltCandidates) do 587 Size >= MinSize) -> Out = [(Base,Size) | In] 589 Out = In 698 free_region(NodeId, _, Out) [all...] |
H A D | decoding_net3_multid.pl | 57 (foreach(Reg, RegLi), fromto([0], In, Out, Ptz) do 60 append(In, [B,LP], Out) 611 split_region(InR, Size, Out). 665 Out), 666 Out = [region{node_id:["OUT"], blocks: [memory, [block{base:51, limit: 71}]]}]. 685 Out), 686 printf("decode_step_region returns %p\n", Out). 809 name{node_id:["In2"], address:Out}, 811 Out = [memory, [6000]]. 813 test_resolve3(Out) [all...] |
/barrelfish-master/lib/acpica/source/components/utilities/ |
H A D | utmisc.c | 214 } Out; local 227 Out.Bytes[0] = In.Bytes[3]; 228 Out.Bytes[1] = In.Bytes[2]; 229 Out.Bytes[2] = In.Bytes[1]; 230 Out.Bytes[3] = In.Bytes[0]; 232 return (Out.Value);
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | fromonto.pl | 148 get_stream(output, Out), 151 set_stream(output, Out), 156 get_stream(output, Out), 159 set_stream(output, Out), 165 get_stream(output, Out), 168 set_stream(output, Out), 172 set_stream(output, Out),
|
H A D | forall.pl | 55 fromto(First,In,Out,Last) 56 iterate starting with In=First until Out=Last. 57 In and Out are local variables in Goal. 105 (foreach(X,[1,2,3]), fromto(0,In,Out,Sum) do Out is In+X). 108 (foreach(X,[1,2,3]), fromto([],In,Out, Rev) do Out=[X|In]). 130 (foreach(X,[5,3,8,1,4,6]), fromto(List,Out,In,[]) do 131 X>3 -> Out=[X|In] ; Out [all...] |
H A D | rationals.pl | 63 tr_rat_out(Rat, Out) :- 67 Out = N 69 Out = N/D
|
H A D | systools.pl | 424 open(File, write, Out), 428 writeln(Out, "<HEAD><TITLE>All ECLiPSe Built-In Predicates</TITLE></HEAD><BODY>"), 429 writeln(Out, "<H1> All ECLiPSe Built-In Predicates in Alphabetic Order </H1>"), 430 writeln(Out, "<OL>"), 431 make_links(Root, Out, _, _), 432 writeln(Out, "</OL>"), 433 close(Out). 438 open(GroupFile, write, Out), 442 writeln(Out, "<HEAD><TITLE>ECLiPSe Built-In Predicate Groups </TITLE></HEAD><BODY>"), 443 writeln(Out, "<H [all...] |
H A D | fd_chip.pl | 214 % Output in difference list Out-Out0 215 copy_until(In, Until, Out, Out0) :- 217 Out = Out0 220 Out = [X|Out1],
|
H A D | apply_macros.pl | 130 t_maplist(maplist(Pred, In, Out), NewGoal, Module) :- 135 append(VarArgs, [In, Out], NewGoalArgs), % make new goal 174 t_mapstream(mapstream(Pred, In, Out), NewGoal, Module) :- 179 append(VarArgs, [In, Out], NewGoalArgs), % make new goal 198 t_selectlist(selectlist(Pred, In, Out), NewGoal, Module) :- 203 append(VarArgs, [In, Out], NewGoalArgs), % make new goal 258 t_mapargs(mapargs(Pred, In, Out), NewGoal, Module) :- 263 append(VarArgs, [In, Out], NewGoalArgs), % make new goal 479 maplist_body(Pred, [In|ListIn], [Out|ListOut], Module) :- 480 call(Pred, In, Out) [all...] |
H A D | par_util.pl | 71 :- comment(par_maplist/3, [template:"par_maplist(+Pred, +In, ?Out)", 75 does not cope with aliasing between the In and the Out list, since 141 par_maplist_body(Pred, In, Out, Module) :- 144 strip_key(Out1, Out).
|
H A D | tracer_tcl.pl | 497 translate_pos(N=Field, Out) ?- 500 concat_string(["structure arg#", N], Out) 501 ; concat_string(["Named structure arg, fieldname:", Field], Out) 503 translate_pos(N-Attr, Out) ?- 505 concat_string(["attribute name:", Attr], Out). 506 translate_pos(list(N), Out) ?- 508 concat_string(["List element (pos: ", N, ")"], Out). 509 translate_pos(tail(N), Out) ?- 511 concat_string(["List tail (pos: ", N, ")"], Out). 512 translate_pos(N, Out) [all...] |
H A D | suspend.pl | 284 translate_goal((Goal, Goals), (NewGoal, NewGoals), Out, In, BOut, BIn) :- !, 286 translate_goal(Goals, NewGoals, Out, Mid, BOut, BMid). 287 translate_goal((Goal -> Goals), (NewGoal -> NewGoals), Out, In, BOut, BIn) :- !, 289 translate_goal(Goals, NewGoals, Out, Mid, BOut, BMid). 290 translate_goal((Goal ; Goals), (NewGoal, Out=VarsL, BOut = BVarsL ; 291 NewGoals, Out=VarsR, BOut = BVarsR), 292 [Out], In, [BOut], BIn) :- !, 301 translate_goal(var(X), var(X), [X|Out], Out, V,V) :- 305 ( Vars = [Var] -> Out [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | bool.pl | 247 bool_portray(and(A,B,C),Out)?- !, Out = (A*B = C). 248 bool_portray(or(A,B,C),Out)?- !, Out = (A+B = C). 249 bool_portray(exor(A,B,C),Out)?- !, Out = (A#B = C). 250 bool_portray(neg(A,B),Out)?- !, Out = (A= ~~B). 251 bool_portray(imp(A,B),Out)?- !, Out [all...] |
/barrelfish-master/usr/eclipseclp/Opium/ |
H A D | opium.pl | 197 % get_prompt(toplevel_input, _, Out), 198 % write(Out, "["), 199 % write(Out, Module), 202 % write(Out, " "), 203 % write(Out, L) 207 % write(Out, "]: "), 208 % flush(Out).
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | vbs_router.pl | 81 make_rvars(Nodes_in_out,[],Vars,Out,[],In,UVars), 84 set_up_rcons(Start,Dest,Nodes,Out,In,UVars), 141 make_rvars([I-_-Out|Rest],AcBVars,BVars,OutVars,AcIn,In,[I-UI|UVars]):- 143 make_vars(I,Out,IBVars,AcIn,NAcIn), 158 set_up_rcons(S,Dest,[I|RNodes],Out,In,UVars):- 160 once(delete(I-IOut,Out,ROut)),
|
H A D | repair.pl | 1026 fromto(Cst, In, Out, TentSum), 1031 Out is In + T * C, 1042 % Out is guaranteed to be a var. 1043 update_expr(Out, Expr, Module) :- 1045 tent_call(In, Out, Out is Expr, Module). 1051 "Out":"List of variables (subset of variables in Goal)", 1059 with tentative values. Goal is a general goal, and In and Out are 1062 tentative values and the Out-variables replaced by fresh variables. 1063 Goal is expected to return values for the Out variable [all...] |
H A D | cumulative_examples.pl | 184 (foreach(D,LD),foreach(R,LR),fromto(0,In,Out,Sum) do 185 Out = D*R +In 220 (foreach(D,LD),foreach(R,LR),fromto(0,In,Out,Sum) do 221 Out = D*R +In
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsparutil.tex | 56 \item[par_maplist(+Pred, +In, ?Out)] 61 the {\it Out} list, since it is implemented on top of \bipref{findall/3}{../bips/kernel/allsols/findall-3.html}.
|
H A D | umsdeveltools.tex | 92 queen(Data, Out) :- 93 qperm(Data, Out), 94 safe(Out). 145 queen(Data, Out) :- 146 qperm(Datas, Out), 147 safe(Out). 373 ?- profile(queen([1,2,3,4,5,6,7,8,9],Out)). 379 Goal: queen([1, 2, 3, 4, 5, 6, 7, 8, 9], Out) 387 Out = [1, 3, 6, 8, 2, 4, 9, 7, 5] 498 ?- port_profile(queen([1,2,3,4],Out), []) [all...] |
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | math-utilities.pl | 41 math_portray(eq(P,C,R),Out):- zero(C),!, 42 Out=..[R,P1,0], 44 math_portray(eq(P,C,R),Out):-!, 45 Out=..[R,P1,C1],
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | fd_ilog.pl | 276 % Output in difference list Out-Out0 277 copy_until(In, Until, Out, Out0) :- 279 Out = Out0 282 Out = [X|Out1],
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | programanalysis.tex | 84 queen(Data, Out) :- 85 qperm(Data, Out), 86 safe(Out). 114 ?- profile(queen([1,2,3,4,5,6,7,8,9],Out)). 120 Goal: queen([1, 2, 3, 4, 5, 6, 7, 8, 9], Out) 128 Out = [1, 3, 6, 8, 2, 4, 9, 7, 5] 279 ?- queens([1,2,3,4,5,6,7,8,9], Out).
|