/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | wake.pl | 23 :- 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 D | Makefile | 36 toolbox.sd wake.sd
|
H A D | prop.pl | 91 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 D | grace.pl | 183 :- 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 D | label.pl | 436 wake 663 wake. 671 wake. 814 prolog_step_mode. % if wake fails
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | set.pl | 241 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 D | propia_nofdtests.pl | 40 subcall((Goal,wake),D),
|
H A D | propia_fdtests.pl | 46 subcall((Goal,wake),D),
|
H A D | chr.pl | 124 % 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 D | exthsusp.tex | 387 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 D | ilog.pl | 233 wake. 261 % wake not necessary because an instanciation occurs ? 269 wake.
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | constimpl.tex | 488 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 D | ic_probe_support.pl | 164 wake 170 wake.
|
H A D | probe_support.pl | 163 wake 169 wake.
|
H A D | ic_probe.pl | 96 % wake 193 wake
|
H A D | probe.pl | 96 % wake 192 wake
|
H A D | repair.pl | 101 % 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 D | fd_arith.pl | 133 % 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 D | fd_domain.pl | 294 % 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 D | suspend.pl | 69 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 D | environment.pl | 492 ( 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 D | extables.c | 428 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 D | tkinspect.tcl | 726 set wake 0 727 after 500 {set wake 1} 728 vwait wake
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | debugger.tex | 49 (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 D | RemoteEclipse.java | 1749 // 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
|