Searched refs:Out (Results 26 - 50 of 60) sorted by relevance

123

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dfrequency.pl85 (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 Dio.pl653 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 Dtoplevel.pl400 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 Dmeta.pl657 ((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 Dkernel.pl434 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 Dpaddy.pl112 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 Dfd_arith.pl699 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 Dr.pl120 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 Dset.pl105 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 Dirq_routing_new.pl159 (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 Ddecoding_net4_support.pl246 (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 Ddecoding_net4_tests.pl28 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 Ddecoding_net4.pl60 state_remove([Fact|Tail], Fact, Out) :-
61 state_remove(Tail, Fact, Out).
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_union.pl118 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 Dxml.pl48 * Out-bound (Document -> Chars) parsing _does_ require that Document defines
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Drepair.tex379 \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 Dumslanguage.tex300 \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 Dech.pl1286 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 Deprolog.tex100 ?- ( 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 Dtutorial.tex916 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 DHake.tex415 | 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 Dacpixf.h1109 ACPI_RESOURCE_ADDRESS64 *Out))
/barrelfish-master/lib/openssl-1.0.0d/engines/
H A Dmakeengines.com367 $! 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 Dcrypto-lib.com321 $! 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 DItaniumDemangle.h2250 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;

Completed in 415 milliseconds

123