/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | toolbox.pl | 345 insert_suspension(Vals, Susp, inst of suspend, suspend). 346 %suspend(inv_val(V, I, Vals), 3, [V->any, Vals->inst]).
|
H A D | matrices.pl | 475 insert_suspension(Var, Susp, of(constrained, suspend), suspend)
|
H A D | prop.pl | 42 insert_suspension(Var, Susp, constrained of suspend, suspend)
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | introduction.tex | 38 \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 D | extfd.tex | 167 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 D | obsman.tex | 272 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 D | ic_probe_support.pl | 162 suspend(Goal,Prior,Cond,Susp), 168 suspend(Goal,Prior,Cond,Susp)@Module,
|
H A D | probe_support.pl | 161 suspend(Goal,Prior,Cond,Susp), 167 suspend(Goal,Prior,Cond,Susp)@Module,
|
H A D | repairtest.pl | 140 suspend(X tent_set 3,3,X->ga_chg),
|
H A D | shadow_cons.pl | 160 suspend(update_shadow_demon(Var,ShadowVar,Susp),2,Var->constrained,Susp).
|
/barrelfish-master/usr/monitor/include/arch/x86_32/ |
H A D | monitor_invocations_arch.h | 215 invoke_monitor_suspend_kcb_scheduler(bool suspend) argument 222 suspend).error;
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | cardinal_minmax.pl | 58 ;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 D | chr.pl | 65 IS = insert_suspension(Globals, Susp, constrained of suspend, suspend). 297 insert_suspension(Vars, Susp, constrained of suspend, suspend).
|
H A D | propia.pl | 179 % 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 D | propia_fdtests.pl | 39 suspend( (write('Test No. '), writeln(N)), 2, N->constrained),
|
/barrelfish-master/usr/drivers/usb/usb_manager/include/ |
H A D | usb_hub.h | 161 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 D | extmeta.tex | 252 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 D | umsdebug.tex | 191 \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 D | fd_domain.pl | 286 schedule_suspensions(constrained of suspend, XSuspAttr) 336 schedule_suspensions(constrained of suspend, SuspAttr) 611 insert_suspension(B, Susp, inst of suspend, suspend)
|
H A D | sepia.pl | 307 suspend(Goal, 2, Term->bound)@Module.
|
H A D | kernel.pl | 2715 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 D | debugger.tex | 201 %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 D | usb_ehci_root_hub.c | 419 ps->wPortStatus.suspend = 1;
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | list.pl | 20 tree([_2420], [_2420], _2420) :- var(_2420) -> suspend(atomic(_2420), 3, _2420 -> inst) ; atomic(_2420).
|
/barrelfish-master/kernel/ |
H A D | syscall.c | 906 struct sysret sys_kernel_suspend_kcb_sched(bool suspend) argument 909 kcb_sched_suspended = suspend;
|