/barrelfish-master/usr/eclipseclp/ecrc_solvers/propia/ |
H A D | crossword.pl | 73 suspend(Goal,7,Goal->inst) infers most.
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic_probe.pl | 177 suspend(deviating_bounds_demon(V,Handle,Susp,OwnSusp), Priority,
|
H A D | probe.pl | 175 suspend(deviating_bounds_demon(V,Handle,Susp,OwnSusp), Priority,
|
H A D | eplex_relax.pl | 118 % Make sure X and Y have IC attributes before we try to suspend on 122 suspend(ic_to_eplex_bounds(X,Pool,S), 7, [X->ic:min,X->ic:max], S), 134 suspend(propagate_hull(X, Y, Chunks, HullInfo, Pool, Susp), 6,
|
/barrelfish-master/usr/skb/programs/ |
H A D | bridge_page_orig_naturally_aligned.pl | 317 suspend(mod(Base, Divisor, 0), 3, Base->inst),
|
H A D | bridge.pl | 222 suspend(mod(B1,Size,0),3,B1->inst)
|
/barrelfish-master/usr/drivers/usb/usb_manager/hub/ |
H A D | usb_hub.c | 153 if (ps.wPortStatus.suspend) { 267 assert(!"NYI: don't support suspend / resume at the moment.\n"); 580 USB_DEBUG_DEV("NOTICE: suspend/resume device on port %i.\n", i);
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | branch_and_bound.pl | 375 suspend(bb_impose_bound(Cost, Handle, Stamp, From), 379 insert_suspension(Cost, Susp, inst of suspend, suspend)
|
H A D | lists.pl | 221 suspend(subscript(Mat, Index, X, M), 2, Index->inst) 234 suspend(subscript(Mat,[IExpr|IExprs],X,M), 2, Mat->inst)
|
H A D | systools.pl | 759 % suspend
|
H A D | tracer.pl | 412 suspend(monitor_term(I, Term, Module, Susp), 1, Cond, Susp),
|
H A D | fd.pl | 338 insert_suspension(NewList, Susp, inst of suspend, suspend) 1518 scheduler and so is the constrained list in the suspend attribute of the
|
H A D | tracer_tty.pl | 391 suspend(monitor_term(I, Term, Module, Susp), 1, Term->constrained, Susp),
|
/barrelfish-master/doc/012-services/ |
H A D | Services.tex | 327 suspend, wakeup, etc.), thread scheduling and thread local storage. 664 threading services since it must be able to suspend and resume 823 It may also cooperate closely with the locking service to suspend and
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | ech.pl | 1030 insert_suspension(Globals, Susp, constrained of suspend, suspend), 1924 insert_suspension(V, Susp, constrained of suspend, suspend), 1934 insert_suspension(V, Susp, constrained of suspend, suspend),
|
/barrelfish-master/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 1937 [eclipse 2]: suspend(writeln("Wake up!"),1,X->inst), 1945 [eclipse 3]: suspend(writeln("Wake up!"),1,X->inst), 1955 suspend(writeln("Wake up!"),1,X->min), 1984 suspend}. In this case the priority is $1$, which is the highest 2034 :- suspend. 2049 suspend(ndiff(N,X,Y),3,[X,Y] -> any). 2059 suspend} library, so it is not actually necessary to load {\em 2060 suspend} explicitly.} 2114 goals which suspend themselves on these events.
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | hybrid.tex | 188 % suspend on changes to them 245 % suspend on changes to them 409 % suspend on changes to them 470 % booleans ic bounds in order to suspend on changes to them
|
H A D | fdintro.tex | 724 suspend(capacity(Col, Cap), 3, (Col, Cap)->inst) 727 suspend(col_cap_cons(Col, Cap), 3, [Col->inst, Cap->min])
|
H A D | propiachr.tex | 331 propagation it does not suspend any more. 771 CHRs suspend on the variables in the rule head. On waking the CHR
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extpropia.tex | 513 suspend(Goal,7,Goal->inst) infers most.
|
H A D | repair.tex | 403 suspend(my_invariant(In,Out,Susp), 3, [In->ga_chg]),
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | cardinal_util.pl | 354 (suspend(Goal, Priority, Conditions, Suspension), Goal)).
|
/barrelfish-master/doc/023-coreboot/ |
H A D | coreboot.tex | 72 functionality to boot, suspend, resume, and power-down the latter. Boot drivers
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsusing.tex | 568 (suspend) or by calling \bipref{pause/0}{../bips/kernel/opsys/pause-0.html}. 569 This will suspend the {\eclipse} process and return the UNIX prompt.
|
H A D | umsarith.tex | 527 comparison to the suspend solver (see section~\ref{suspendsolver}). This
|