/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | frequency.pl | 85 (param(Vars),foreach(Val,Vals),foreach(Occ,Occs),fromto(Domain,Out,In,[]) do 89 Out = In 91 Out = [Val|In]
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | io.pl | 653 dump_header(Out) :- 655 put(Out, 16'EC), put(Out, 16'1C), put(Out, 16'29), 656 put(Out, 16'16), % ECO_CURRENT_VERSION, see procedure.c 658 flush(Out), 660 set_stream_property(Out, scramble, 73540), 666 put(Out, R1), put(Out, R7), put(Out, R [all...] |
H A D | toplevel.pl | 400 get_stream_info(toplevel_input, prompt_stream, Out), 403 put(Out, 0'[), 404 write(Out, M), 405 put(Out, 0' ), 406 write(Out, I), 407 write(Out, "]: "), 408 flush(Out).
|
H A D | meta.pl | 657 ((M:Goal -> L = [Name:Out|L1]; L = L1), Body1)) :- 658 Goal =.. [N, Var, Out], 892 print_attributes(Attr, {Out}) :- 895 (OT = _:Out -> 899 Out = OT
|
H A D | kernel.pl | 434 concat_atom([Base, '_out'], Out), 435 ec_rpc_in_handler1(In, Out). 437 ec_rpc_in_handler1(In, Out) :- 439 flush(Out) 441 empty_stream(Out), 442 catch((read_exdr_last(In, Goal),execute_rpc(Out, Goal, true)), 443 _, (write_exdr(Out, throw),flush(Out))), 444 ec_rpc_in_handler1(In, Out) 454 execute_rpc(Out, GoalStrin [all...] |
H A D | paddy.pl | 112 pout(Out) :- write_relevant_clauses(Out). 116 p(In,Out) :- pin(In), partial_deduction, write_relevant_clauses(Out). 118 write_relevant_clauses(Out) :- 119 divert(Out),
|
H A D | fd_arith.pl | 699 tr_fd_arith_out(In, Out) :- 702 tr_fd_arith_out_dummy(In, Out) % debugger dummy goal with ... args 704 tr_fd_arith_out_(In, Out)
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | r.pl | 120 tr_rat(Term, Out) :- 123 Out = N 125 Out = N/D 998 insert_var_mono([FirstMono|Others], Mono, Out) :- 1001 Out = [Mono,FirstMono|Others] 1003 Out = [FirstMono,Mono|Others] 1125 remove_mono(Var, [Mono|T], Out, Coeff) :- 1129 Out = T 1131 Out = [Mono|Out1], 1460 tidy_output1(Out) [all...] |
H A D | set.pl | 105 tr_setvar(_{In}, Out) ?- 106 tr_set(In, Out). 107 tr_setvar(In, Out) :- 108 tr_set(In, Out).
|
/barrelfish-master/usr/skb/programs/ |
H A D | irq_routing_new.pl | 159 (for(I,1,Len), fromto(0,In,Out,NumT), param(W) do 160 Out = W[I] * 2^(I-1) + In), 377 to_mapf_local(mapf(Lbl,A,B,C,D), Out) :- 383 Out = mapf(Lbl,AOut,B,COut,D). 571 % Base is atom, index integer, Out is atom that is not yet in use in 573 get_unused_controller_label(Base, Index, Out) :- 579 (not(controller(Xn, _,_,_)) , Out = Xn) ; 580 ( NIndex is Index + 1, get_unused_controller_label(Base,NIndex, Out)). 696 filter_none([none | Xs], Out) :- filter_none(Xs, Out) [all...] |
H A D | decoding_net4_support.pl | 246 (foreach((Base,Size), MemCandidates), fromto([], In, Out, FiltCandidates) do 250 Size >= MinSize) -> Out = [(Base,Size) | In] 252 Out = In 500 param(SrcId), foreach(c(SrcEnum, In, Out), Confs) do 504 Out is BlockSize * PPN,
|
H A D | decoding_net4_tests.pl | 28 translate_region(S, region(["IN"], block(0, 1000)), Out), 29 writeln(Out). 56 decodes_region(S, region(["IN"], block(400, 1000)), Out), 57 writeln(Out).
|
H A D | decoding_net4.pl | 60 state_remove([Fact|Tail], Fact, Out) :- 61 state_remove(Tail, Fact, Out).
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | cardinal_union.pl | 118 list_subtraction(PossU, NSetOut, NewPossU, Out, NewSingles), 121 disjoint(UnionVar, Out) 272 list_subtraction([H:N|T1], [H:N|T2], Sub, [H|Out], Singles):- 273 !, list_subtraction(T1, T2, Sub, Out, Singles). 274 list_subtraction([H:N1|T1], [H:N2|T2], [H:N|Sub], Out, Singles):- 276 list_subtraction(T1, T2, Sub, Out, Singles1). 277 list_subtraction([H1:N1|T1], [H2:_|T2], Sub, Out, Singles):- 279 list_subtraction([H1:N1|T1], T2, Sub, Out, Singles). 280 list_subtraction([H:N|T], L, [H:N|Sub], Out, Singles):- 282 list_subtraction(T, L, Sub, Out, Singles [all...] |
H A D | xml.pl | 48 * Out-bound (Document -> Chars) parsing _does_ require that Document defines
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | repair.tex | 379 \subsubsection{tent_call(In, Out, Goal)} 382 with tentative values. Goal is a general goal, and In and Out are 385 tentative values and the Out-variables replaced by fresh variables. 386 Goal is expected to return values for the Out variables. These values 387 are then used to update the tentative values of the original Out variables. 400 my_invariant(In, Out) :- 403 suspend(my_invariant(In,Out,Susp), 3, [In->ga_chg]), 404 Out tent_set TentOut.
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umslanguage.tex | 300 \item[fromto(\pattern{First},~\pattern{In},~\pattern{Out},~\pattern{Last})]% 303 \about{Out=Last}. 304 \about{In} and \about{Out} are local loop variables. 306 value of \about{Out} in the previous iteration. 512 (foreach(X,[1,2,3]), fromto(0,In,Out,Sum) do Out is In+X). 519 (foreach(X,[1,2,3]), fromto([],In,Out, Rev) do Out=[X|In]). % or: 594 (foreach(X,[5,3,8,1,4,6]), fromto(List,Out,In,[]) do 595 X>3 -> Out [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | ech.pl | 1286 optimise_further(ttrue, Out) ?- !, Out = true. 1287 optimise_further((ttrue, Goals), Out) ?- !, Out = (true,OGoals), 1293 optimise_further((Goal,Goals), Out) ?- !, Out = (OGoal,OGoals), 1295 optimise_further((Goal1;Goal2), Out) ?- !, Out = (OGoal1;OGoal2), 1297 optimise_further((If -> Then), Out) ?- !, Out [all...] |
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | eprolog.tex | 100 ?- ( foreach(X,[1,2,3]), fromto(0,In,Out,Sum) do Out is In+X ). 104 Note that the variables X, Y, In and Out are local variables in the loop, 114 fromto(0,In,Out,Sum), 117 Out is In + Array[I] 122 \item[fromto(First,In,Out,Last)]\ \\ 123 iterate Goals starting with In=First until Out=Last.
|
/barrelfish-master/usr/eclipseclp/documents/applications/ |
H A D | tutorial.tex | 916 fromto([],In,Out,K) do 917 q(X,In,Out) 932 fromto(K,In,Out,[]) do 933 q(X,In,Out) 955 fromto([],In,Out,Customers) do 956 selected_customer(Interface,In,Out) 1055 fromto(H,In,Out,V) do 1056 minimum_step(X,In,Out) 1134 fromto(0,In,Out,Sum) do 1136 Out i [all...] |
/barrelfish-master/doc/003-hake/ |
H A D | Hake.tex | 415 | Out String String -- Output of the computation 426 \texttt{Out} and \texttt{Target} files are always in the 438 [ Str "ar cr ", Out arch libpath ] 442 [ NL, Str "ranlib ", Out arch libpath ] 452 The library is referred to as an \texttt{Out} token, since it is a target 504 \item[Out] tokens are file references to output files from a rule,
|
/barrelfish-master/lib/acpica/source/include/ |
H A D | acpixf.h | 1109 ACPI_RESOURCE_ADDRESS64 *Out))
|
/barrelfish-master/lib/openssl-1.0.0d/engines/ |
H A D | makeengines.com | 367 $! Figure Out If We Need A non-VAX Or A VAX Linker Option File. 626 $! Find Out Which One To Use.
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/ |
H A D | crypto-lib.com | 321 $! Figure Out What Other Modules We Are To Build. 720 $! Figure Out If We Need A non-VAX Or A VAX Linker Option File. 975 $! Find Out Which One To Use.
|
/barrelfish-master/lib/cxx/cxxabi/demangle/ |
H A D | ItaniumDemangle.h | 2250 bool parsePositiveInteger(size_t *Out); 2253 bool parseSeqId(size_t *Out); 3199 bool AbstractManglingParser<Alloc, Derived>::parsePositiveInteger(size_t *Out) { 3200 *Out = 0; 3204 *Out *= 10; 3205 *Out += static_cast<size_t>(consume() - '0'); 4967 bool AbstractManglingParser<Alloc, Derived>::parseSeqId(size_t *Out) { 4981 *Out = Id;
|