Searched refs:suspend (Results 26 - 50 of 87) sorted by relevance

1234

/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dtoolbox.pl345 insert_suspension(Vals, Susp, inst of suspend, suspend).
346 %suspend(inv_val(V, I, Vals), 3, [V->any, Vals->inst]).
H A Dmatrices.pl475 insert_suspension(Var, Susp, of(constrained, suspend), suspend)
H A Dprop.pl42 insert_suspension(Var, Susp, constrained of suspend, suspend)
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dintroduction.tex38 \section{Suspended Goals: {\em suspend}}
41 In fact the simplest implementation of any constraint is to suspend it
44 The library {\em suspend} contains versions of
146 that is clearer than directly using the underlying {\em suspend}
H A Dextfd.tex167 list of its {\bf suspend} attribute is woken, if it has one.
943 The suspension list names can be used in the predicate \bipref{suspend/3}{../bips/kernel/suspensions/suspend-3.html}
1201 in the {\bf suspend} attribute of the domain variable.
1292 suspend(sq(A, B, C), 3, (A, B)->min)
1323 If this is not the case, we have to suspend the predicate
1326 This is done using the predicate \bipref{suspend/3}{../bips/kernel/suspensions/suspend-3.html}.
1408 all other values from their domains and then suspend
1428 % unless one variable is already instantiated, suspend
[all...]
H A Dobsman.tex272 list of its {\bf suspend} attribute is woken, if it has one.
1049 The suspension list names can be used in the predicate \bipref{suspend/3}{../bips/kernel/suspensions/suspend-3.html}
1307 in the {\bf suspend} attribute of the domain variable.
1398 suspend(sq(A, B, C), 3, (A, B)->min)
1429 If this is not the case, we have to suspend the predicate
1432 This is done using the predicate \bipref{suspend/3}{../bips/kernel/suspensions/suspend-3.html}.
1514 all other values from their domains and then suspend
1534 % unless one variable is already instantiated, suspend
[all...]
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic_probe_support.pl162 suspend(Goal,Prior,Cond,Susp),
168 suspend(Goal,Prior,Cond,Susp)@Module,
H A Dprobe_support.pl161 suspend(Goal,Prior,Cond,Susp),
167 suspend(Goal,Prior,Cond,Susp)@Module,
H A Drepairtest.pl140 suspend(X tent_set 3,3,X->ga_chg),
H A Dshadow_cons.pl160 suspend(update_shadow_demon(Var,ShadowVar,Susp),2,Var->constrained,Susp).
/barrelfish-master/usr/monitor/include/arch/x86_32/
H A Dmonitor_invocations_arch.h215 invoke_monitor_suspend_kcb_scheduler(bool suspend) argument
222 suspend).error;
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_minmax.pl58 ;suspend(min_inst(MinVar,Set,[SuspMB,SuspCLM,SuspMI]), 3, MinVar->inst, SuspMI)
142 ;suspend(max_inst(MaxVar,Set,[SuspMB,SuspCUM,SuspMI]), 3, MaxVar->inst, SuspMI)
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dchr.pl65 IS = insert_suspension(Globals, Susp, constrained of suspend, suspend).
297 insert_suspension(Vars, Susp, constrained of suspend, suspend).
H A Dpropia.pl179 % using the syntax "suspend(Constraint,Priority,Condition) infers Language"
183 ( InGoal = suspend(Goal,Prior,Cond) ->
200 suspend(myinfers(Goal,vars(Vars),Language,Module,Susp), Prior, Cond, Susp),
219 suspend( myinfers(Goal,most(Vars),GlobVar,Type,Module,Susp),
312 not((suspend(cons_diff(Vars,GlobVar,Susp),2,Vars->constrained,Susp),
430 suspend(cons_diff_2(Copy2,CopyGoal,Susp),2,Copy2->constrained,Susp),
H A Dpropia_fdtests.pl39 suspend( (write('Test No. '), writeln(N)), 2, N->constrained),
/barrelfish-master/usr/drivers/usb/usb_manager/include/
H A Dusb_hub.h161 uint8_t suspend :1; ///< device on that port is suspended member in struct:usb_hub_port_status::__anon417
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dextmeta.tex252 The library \libspec{suspend} can be used as a template
272 The optional third argument is the suspend-attribute of the former
526 \footnote{The attribute \notation{suspend} is always present and defined
531 printf("%vMw", [X{m:a}]) or writeq(X{m:a}): _g246{suspend : _g242, m : a}
533 printf("%Mw", [X{m:a}]): X{suspend : _g251, m : a}
686 \notation{suspend\{inst:I, constrained:C, bound:B\}}
688 says that the structure name is \notation{suspend} and that
H A Dumsdebug.tex191 \bipref{suspend/3}{../bips/kernel/suspensions/suspend-3.html},
192 \bipref{suspend/4}{../bips/kernel/suspensions/suspend-4.html},
1185 [eclipse 21]: suspend(foo(X), 3, X->inst), foo(X).<NL>
1190 INSPECT (attributes 1-suspend 2-fd ) %>1<NL>
1191 suspend(['SUSP-1-susp'|_218] - _218, [], [])
1192 INSPECT (struct suspend/3) %>
1203 Note that the \predspec{suspend/3} summary contains a \notation{struct} before
1204 it. This is because the \predspec{suspend/
[all...]
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dfd_domain.pl286 schedule_suspensions(constrained of suspend, XSuspAttr)
336 schedule_suspensions(constrained of suspend, SuspAttr)
611 insert_suspension(B, Susp, inst of suspend, suspend)
H A Dsepia.pl307 suspend(Goal, 2, Term->bound)@Module.
H A Dkernel.pl2715 insert_suspension(X, Susp, 1 /*inst*/, suspend)
2844 insert_suspension(X, Susp, 1 /*inst*/, suspend)
2901 insert_suspension(X, Susp, 1 /*inst*/, suspend)
2917 insert_suspension(X1, Susp, 1 /*inst*/, suspend)
2927 insert_suspension(Xs, Susp, 1 /*inst*/, suspend)
2940 insert_suspension(X, Susp, 1 /*inst*/, suspend)
2951 insert_suspension(X, Susp, 1 /*inst*/, suspend)
2967 insert_suspension(X1, Susp, 1 /*inst*/, suspend)
2977 insert_suspension(Xs, Susp, 1 /*inst*/, suspend)
2990 insert_suspension(X, Susp, 1 /*inst*/, suspend)
[all...]
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Ddebugger.tex201 %Or raise a suspend-event in make_suspension and make the handler
202 We raise a suspend-event in make_suspension and make the handler
/barrelfish-master/usr/drivers/usb/usb_manager/controller/ehci/
H A Dusb_ehci_root_hub.c419 ps->wPortStatus.suspend = 1;
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/
H A Dlist.pl20 tree([_2420], [_2420], _2420) :- var(_2420) -> suspend(atomic(_2420), 3, _2420 -> inst) ; atomic(_2420).
/barrelfish-master/kernel/
H A Dsyscall.c906 struct sysret sys_kernel_suspend_kcb_sched(bool suspend) argument
909 kcb_sched_suspended = suspend;

Completed in 355 milliseconds

1234