Searched refs:removed (Results 76 - 94 of 94) sorted by relevance

1234

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Deplex_relax.pl801 % returning the number of points removed.
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembed.tex838 permanent copy was explicitly removed with built-ins like
H A Dembremoteproto.tex1273 closed on the remote side, with the bookkeeping information removed too.
H A Dembjava.tex860 the {\tt setListener} method. The {\it QueueListener} can be removed
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Deplex.tex508 instance when posted, and removed when they are backtracked over.
/barrelfish-master/doc/017-arm/
H A DARM.tex170 3269 files updated, 0 files merged, 0 files removed, 0 files unresolved
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dkernel.tex1969 it may be removed from the LD list.
1983 in these lists. however, dead suspensions are removed opportunistically
1985 suspensions at the head of the list are removed when new suspensions are
/barrelfish-master/usr/eclipseclp/Mercury/
H A Dm_tree234.pl380 key removed.
397 "Key":"The key removed",
401 fail_if: "Fails if Tree0 is empty or if Key and Value do not unify with the key and value removed.",
407 tree Tree), and attempts to unify the removed key with Key and
/barrelfish-master/doc/026-device-queues/
H A Ddevif.tex749 (shown in Figure \ref{fig:translation}). The mappings are removed by a deregister call. Each of these
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dkb.pl153 % all temporary relations are removed when the data base is closed
H A Dfd.pl75 domain variable when the non-integer values are removed from
1434 summary:"The element El is removed from the domain of DVar and all concerned lists
1439 desc:html(" The element El is removed from the domain of DVar and all concerned
H A Dkernel.pl1559 % The source store entries are removed. We could make it possible to
2072 % Result is List with Element removed
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsdebug.tex169 %Each goal whose choice point is removed are traced with a CUT port.
489 and removed
H A Dexthsusp.tex1169 i.e., suspensions which are no longer useful are removed destructively.
/barrelfish-master/lib/tommath/
H A Dtommath.tex354 Some algorithms have slight advantages over others which is why some constants will not be removed in
1072 \textbf{Output}. Any excess leading zero digits of $a$ are removed \\
1632 One significant difference between a logical shift and the way decimals are shifted is that digits below the zero'th position are removed
2432 is copied to $b$, leading digits are removed and the remaining leading digit is trimed to the exact bit count.
5992 However, instead of factoring $b - a$ to find a suitable value of $p$ the powers of $p$ can be removed from $a$ and $b$ that are in common first.
5993 Then inside the loop whenever $b - a$ is divisible by some power of $p$ it can be safely removed.
6097 must be adjusted by multiplying by the common factors of two ($2^k$) removed earlier.
6450 The algorithm fast\_mp\_invmod is a direct adaptation of algorithm mp\_invmod with all all steps involving either $A$ or $C$ removed. This
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dic.tex1352 \item[hole] Suspension list of goals to be woken when a value is removed
/barrelfish-master/doc/022-armv8/
H A Dreport.tex970 all special encodings). Since ARMv8 has also removed the \texttt{ldm} (load
/barrelfish-master/usr/eclipseclp/documents/intro_paper/
H A Declipse.tex1074 been removed. These are the decisions yet to be made.
/barrelfish-master/usr/eclipseclp/documents/applications/
H A Dtutorial.tex470 Note that all our data structures use {\it single assignment}\index{single assignment}, i.e. there is no destructive assignment\index{destructive assignment} in the language\footnote{Destructive assignment in the hash library is hidden from the user.}. Instead of removing\index{remove data}\index{change data}\index{delete data} or changing elements of a structuce, we will always make a near-copy with some information being removed or changed.

Completed in 280 milliseconds

1234