Searched refs:wake (Results 1 - 25 of 61) sorted by relevance

123

/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dwake.pl23 :- module_interface(wake).
34 :- begin_module(wake).
58 wake/0.
64 get_flag(wake/0, visibility, local) ->
65 call(export(wake/0), sepia_kernel),
66 global(wake/0)
71 get_flag_body(wake/0, visibility, exported, sepia_kernel) ->
72 local(wake/0),
73 call(global(wake/0), sepia_kernel)
77 wake label
[all...]
H A DMakefile36 toolbox.sd wake.sd
H A Dprop.pl91 record(wake, [Mark|WokenList])
166 erase_all(wake),
181 recorded_list(wake, WL),
230 recorded_list(wake, WL),
235 recorded_list(wake, WL),
298 recorded_list(wake, WL),
481 recorded(wake, _) ->
482 recorded_list(wake, WL),
H A Dgrace.pl183 :- use_module(wake).
220 :- local_record(wake).
233 % We must redefine the unification handler to take our wake/0 when necessary
235 wake.
434 wake,
H A Dlabel.pl436 wake
663 wake.
671 wake.
814 prolog_step_mode. % if wake fails
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dset.pl241 schedule_inst(AttrSX, NewMin), % wake X's lists
242 SY=NewMin % bind Y and wake its lists
701 wake.
715 wake.
729 wake.
749 wake.
758 wake.
775 wake.
829 wake.
840 wake
[all...]
H A Dpropia_nofdtests.pl40 subcall((Goal,wake),D),
H A Dpropia_fdtests.pl46 subcall((Goal,wake),D),
H A Dchr.pl124 % waking list (var-var unifications now only wake suspensions which are
128 % Note that we arbitrarily wake only one variable's constrained-list
148 notify_constrained(Y). % wake either X's or Y's list
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dexthsusp.tex387 forever, since no variable binding can wake it.
417 and it will wake up
492 When X is later instantiated, it will wake up and print the message:
536 \item[inst:] wake when a variable gets instantiated;
537 \item[bound:] wake when a variable gets instantiated or bound to
539 \item[constrained:] wake when a variable gets instantiated or bound to
550 To wake a goal when a variable gets instantiated, the \notation{inst}
572 the goal will wake up as soon as the first of them occurs:
623 and wake up as soon as either of them gets instantiated.
654 Sometimes it is interesting to wake
[all...]
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dilog.pl233 wake.
261 % wake not necessary because an instanciation occurs ?
269 wake.
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dconstimpl.tex488 wake up when the remaining variable gets instantiated as well, at which time
540 \item[X->inst] wake when the variable becomes instantiated (most specific)
541 \item[X->constrained] wake when the variable becomes constrained somehow
543 \item[X->ic:min] wake when the lower bound of an ic-variable changes
544 \item[X->ic:max] wake when the upper bound of an ic-variable changes
545 \item[X->ic:hole] wake an internal domain value gets removed
579 and {\bf max}, which cause a goal to wake up when the lower/upper
585 priority: imposing a bound may immediately wake and execute such
587 in turn change one of the bounds that ought to wake ge/2 again.
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic_probe_support.pl164 wake
170 wake.
H A Dprobe_support.pl163 wake
169 wake.
H A Dic_probe.pl96 % wake
193 wake
H A Dprobe.pl96 % wake
192 wake
H A Drepair.pl101 % to_unten, % suspensions to wake on becoming untenable
102 ga_chg % suspensions to wake on global asignment changes
626 wake.
708 wake
922 wake
944 wake
1127 wake.
1168 wake.
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dfd_arith.pl133 % not skipped because might suspend & wake
1129 wake.
1138 wake,
1142 wake,
1169 wake.
1207 wake.
1209 wake.
1252 wake.
1269 wake.
1636 wake
[all...]
H A Dfd_domain.pl294 % We wake every time a variable is touched.
297 nonvar(Term), % The metaterm was instantiated, wake all
317 NewDom = dom([Y|_], _), % bind Y, wake inst,bound,constrained
318 attr_instantiate(AttrX, Y) % wake the fd lists
373 % We wake every time a variable is touched.
573 wake.
776 wake.
H A Dsuspend.pl69 have been instantiated, then they wake up and test the condition,
128 % We wake every time a variable is touched.
131 atomic(Term), % The metaterm was instantiated, wake all
140 compound(Term), % The metaterm was instantiated, wake all
161 AttrX = AttrY. % Keep both lists, do not wake
169 % merge the bound-lists and wake those suspensions that were in both lists
H A Denvironment.pl492 ( Create =< 0 -> wm_set(wake, Host, Diff)
493 ; wm_set(wake, Host, Asleep),
500 ; Diff0 =< Asleep -> wm_set(wake, Host, Diff0)
501 ; wm_set(wake, Host, Asleep),
/barrelfish-master/lib/acpica/source/tools/examples/
H A Dextables.c428 RTC wake not in fixed reg space (V1) : 0
429 RTC can wake system from S4 (V1) : 0
438 RTC_STS valid on S4 wake (V4) : 0
/barrelfish-master/usr/eclipseclp/lib_tcl/
H A Dtkinspect.tcl726 set wake 0
727 after 500 {set wake 1}
728 vwait wake
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Ddebugger.tex49 (in the make_suspension/3 built-in) and a {\bf wake} notification
198 \subsection{Tracing delay/wake}
/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DRemoteEclipse.java1749 // wake up the copier thread
1750 copierThread.wake();
1818 notifyAll(); // to wake anything waiting until empty.
1833 // wait until either terminate or wake is called by another thread
1852 synchronized void wake() method in class:RemoteEclipse.NonBlockingOutputStream.CopierThread
1868 // if it is empty, wait until woken by terminate or wake

Completed in 190 milliseconds

123