Searched refs:suspend (Results 1 - 25 of 87) sorted by relevance

1234

/barrelfish-master/lib/devif/backends/net/mlx4/include/linux/
H A Dpci.h133 int (*suspend)(struct pci_dev *dev, pm_message_t state); /*Device suspended*/ member in struct:pci_driver
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dt.pl54 suspend(writeln(hello), 2, X->inst),
65 t9(X) :- X :: 1..10, suspend(writeln(hello), 2, X->inst), X #= 2.
100 t22 :- X::1..10, suspend(writeln(hello), 3, X->ilog_range), X #< 5.
102 t23 :- [X,Y]::1..10, suspend(writeln(hello), 3, X->ilog_range), X #< Y.
110 suspend(writeln(hello), 3, X->ilog_range),
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dnotinstance.pl88 insert_suspension(First, Susp, bound of suspend, suspend)
164 insert_suspension(Lhs, Susp, constrained of suspend, suspend)
166 insert_suspension(First, Susp, bound of suspend, suspend)
181 insert_suspension(First, Susp, bound of suspend, suspend)
H A Dsuspend.pl26 % Version: $Id: suspend.pl,v 1.4 2010/04/04 08:13:37 jschimpf Exp $
32 % IDENTIFICATION: suspend.pl
45 % simply replace 'suspend' in the predicate names by
49 :- module(suspend, [], sepia_kernel).
52 %:- export struct(suspend(inst, constrained, bound)).
56 "Lazy-checking versions of arithmetic primitives, and the suspend-attribute").
63 <LI>the <B>suspend</B> pseudo-solver for general arithmetic
64 <LI>the <B>suspend</B> attribute
66 The suspend pseudo-solver for arithmetic comparisons simply consists
68 (&gt;/2, #&gt;/2, etc). These all suspend unti
[all...]
H A Delipsys_fd.pl118 insert_suspension(Flags, Susp, inst of suspend, suspend).
169 insert_suspension(F, Susp, inst of suspend, suspend)
211 insert_suspension(ArrayItems-MaxSequences-Occurences-Contigs, Susp, bound of suspend, suspend),
242 insert_suspension(ArrayItems-MaxSequences-Occurences, Susp, bound of suspend, suspend),
286 insert_suspension(Flag, Susp, inst of suspend, suspend),
[all...]
H A Dfd_elipsys.pl107 insert_suspension(Flags, Susp, inst of suspend, suspend).
160 insert_suspension(F, Susp, inst of suspend, suspend)
234 insert_suspension(ArrayItems-MaxSequences-Occurences-Contigs, Susp, bound of suspend, suspend),
265 insert_suspension(ArrayItems-MaxSequences-Occurences, Susp, bound of suspend, suspend),
295 insert_suspension(Flag, Susp, inst of suspend, suspend),
[all...]
H A Dfd_arith.pl133 % not skipped because might suspend & wake
923 insert_suspension([A|B], Susp, inst of suspend, suspend).
1246 insert_suspension(Var, Susp, constrained of suspend, suspend).
1267 insert_suspension([Var1|Var2], Susp, inst of suspend, suspend).
1319 insert_suspension(A, Susp, constrained of suspend, suspend).
1329 insert_suspension([A|B], Susp, bound of suspend, suspen
[all...]
H A Dsicstus.pl153 ( var(Var) -> suspend(Goal, 2, (Var->suspend:1)) ; Goal )).
158 suspend_body(Goal, 2, (X->suspend:1), Module).
182 % p(A,B) :- var(A), !, make_suspension(p(A,B),0,S), insert_suspension([A],S,1,suspend).
224 BC = (!, make_suspension(Head,0,S), insert_suspension(Vars, S, 1, suspend)).
242 suspend(when_body(Condition, Goal, Module), 2, (Vars->inst)).
H A Dmeta.pl102 ( Name == suspend, Index == 1 ->
103 % The suspend handlers are handcoded below to avoid use of the
232 erase_module_attribute_handlers(suspend) :- !.
370 suspend:unify_suspend(Term , SuspAttr). label
560 suspend:suspensions_suspend(Meta, ListOfSuspLists, []), label
595 suspend:suspensions_suspend(Meta, S, S0). label
616 suspend:delayed_goals_number_suspend(Meta, NG). label
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dexthsusp.tex36 The core feature is the ability to suspend the execution of a goal
50 % The suspend predicate
140 As a rule of thumb, goals will not suspend when all their arguments are
154 Instead of succeeding or failing, they will suspend when their arguments
173 suspend again. In the following example, the disequality predicate initially
188 all arguments are ground) can be found in the \libspec{suspend} library
189 \bipref{lib(suspend)}{../bips/lib/suspend/index.html}.
199 The solver will suspend these predicates until all their arguments
204 The suspend librar
[all...]
H A Dextsuspend.tex28 \index{suspend}
47 suspend(Goal, 3, Term->inst).
56 insert_suspension(Term, Susp, inst of suspend, suspend).
107 suspend(Goal, 3, Term->inst).
152 suspend(wait_for_var([X|L], Goal), 3, X->inst)
204 suspend(dif(T1, T2), 3, V->inst)
206 suspend(dif(T1, T2), 3, Vars->bound)
209 fail % nothing to suspend on, they are identical
296 The reason for this handling is that the system cannot suspend
[all...]
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dset.pl462 suspend(car_s(Set,Card), 2, Set->del_any)
487 suspend(car_s(Set,Card), 2, [Set->del_any, Card->any]).
499 suspend(car_s(Set,Card), 2, Set->del_any)
637 suspend(weight_s(S, W), 2, [S->del_any, W->any, C -> inst]).
652 suspend(weight_s(S, W), 2, [S->del_any, W->any])
700 ( var(S),var(S1) -> suspend(S sub_s S1, 2, [S,S1]->del_any) ; true ),
709 suspend(X in_s S, 2, [X,S]->inst).
723 suspend(X nin_s S, 2, X->inst).
773 suspend(SetX dis_s SetY, 2, [SetX, SetY]->del_glb)
851 suspend(ground_unio
[all...]
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_functions.pl62 % Else suspend until Set further constrained.
64 check_cardinality(C, S):- var(C), !, suspend(check_cardinality(C,S), 2, C->inst).
69 ;suspend(check_cardinality(C,S), 2, S->cardinal:bounded)
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dsolverinter.tex83 suspend & yes & yes & yes & yes & yes & yes \\
150 ..., [ic, suspend]: (A #>= B), ...
154 will pass the constraint to both the ic and suspend solvers.
209 \item[\biptxtref{suspend}{lib(suspend)}{../bips/lib/suspend/index.html}]
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dchangeset.pl142 suspend(flush_change_list(Store, ChangeStream), Prio1, Empty->inst).
157 suspend(flush_change_list(Store, ChangeStream), Prio1, Empty->inst).
188 suspend(flush_change_list(Store, More), Prio1, Empty->inst),
226 suspend(lp_re_solve(Handle, More), 9, More->inst).
H A Dfrequency.pl107 suspend(frequency_aux(Vars,Occs,Vals,ValuesDom,S),4,[S->min,Var->any])
169 suspend(occurrences(Values, List, Occs), 3, SomeVar->inst).
178 suspend(multi_occurrences(Values, X, ListWithoutX, Occs, Susp),
H A Drepair.pl541 arith_constraint(X < Y, X, Y, suspend:(X1 < Y1), X1, Y1) :- !.
542 arith_constraint(X > Y, X, Y, suspend:(X1 > Y1), X1, Y1) :- !.
543 arith_constraint(X =< Y, X, Y, suspend:(X1 =< Y1), X1, Y1) :- !.
544 arith_constraint(X >= Y, X, Y, suspend:(X1 >= Y1), X1, Y1) :- !.
545 arith_constraint(X =:= Y, X, Y, suspend:(X1 =:= Y1), X1, Y1) :- !.
546 arith_constraint(X =\= Y, X, Y, suspend:(X1 =\= Y1), X1, Y1) :- !.
615 suspend(
909 suspend(
1032 suspend(sum_update(C*V,T,Sum,Susp), 2, [V->inst,V->ga_chg], Susp)
1086 suspend(tent_cal
[all...]
H A Dcumulative_examples.pl289 suspend(rectangle_not_included(D1,R1,D2,R2,B),4,[Var->min,Var->max,B->inst])
317 ; suspend(rectangle_not_included(D1,R1,D2,R2),4,[D1,D2,R1,R2]->constrained)
339 suspend(rectangle_not_included(D1,R1,D2,R2),4,[D1,D2,R1,R2]->constrained)
/barrelfish-master/usr/drivers/usb/usb_manager/controller/ohci/
H A Dusb_ohci.c49 * \param suspend flag the host controller should be suspended
51 static usb_error_t usb_ohci_init_controller(usb_ohci_hc_t *hc, uint8_t suspend) argument
96 if (suspend) {
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dlabel.pl608 insert_suspension(Var, Susp, constrained of suspend, suspend).
629 insert_suspension(Var, Susp, constrained of suspend, suspend)
750 insert_suspension(Var, Susp, inst of suspend, suspend),
758 remove_breakpoints(_{suspend: S}) :-
760 S = suspend with [constrained:C-_, inst:B-_],
802 insert_suspension(Var, Susp, constrained of suspend, suspend)
[all...]
H A Dexpr.pl149 insert_suspension(Var, Susp, inst of suspend, suspend),
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dconstimpl.tex211 {\bf suspend} library. Both implementations
212 have the same declarative meaning, but the {\bf suspend} version can
217 ?- suspend : (X =< 4).
222 ?- suspend : (X =< 4), X = 2.
226 ?- suspend : (X =< 4), X = 5.
513 this time using the suspend/3 built-in predicate to create a delayed goal for
514 \index{suspend/3}
518 suspend(capacity(T,N), 0, [T,N]->inst).
525 \item[{\bf suspend(Goal, Priority, Triggers)}]
526 \index{suspend/
[all...]
H A Dsolversintro.tex41 \subsection{Suspended Goals: {\em suspend}}
42 \index{suspend}
46 The simplest implementation of any constraint is to suspend it
49 The {\em suspend} solver implements this behaviour for all
193 that is clearer than directly using the underlying {\em suspend}
/barrelfish-master/include/usb/class/
H A Dusb_hub.h162 uint8_t suspend :1; ///< device on that port is suspended member in struct:usb_hub_port_status::__anon71
/barrelfish-master/usr/monitor/include/
H A Dmonitor_invocations.h188 invoke_monitor_suspend_kcb_scheduler(bool suspend) argument
190 return cap_invoke2(cap_kernel, KernelCmd_Suspend_kcb_sched, suspend).error;

Completed in 121 milliseconds

1234