Searched refs:removed (Results 76 - 94 of 94) sorted by relevance
1234
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | eplex_relax.pl | 801 % returning the number of points removed.
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embed.tex | 838 permanent copy was explicitly removed with built-ins like
|
H A D | embremoteproto.tex | 1273 closed on the remote side, with the bookkeeping information removed too.
|
H A D | embjava.tex | 860 the {\tt setListener} method. The {\it QueueListener} can be removed
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | eplex.tex | 508 instance when posted, and removed when they are backtracked over.
|
/barrelfish-master/doc/017-arm/ |
H A D | ARM.tex | 170 3269 files updated, 0 files merged, 0 files removed, 0 files unresolved
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | kernel.tex | 1969 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 D | m_tree234.pl | 380 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 D | devif.tex | 749 (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 D | kb.pl | 153 % all temporary relations are removed when the data base is closed
|
H A D | fd.pl | 75 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 D | kernel.pl | 1559 % 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 D | umsdebug.tex | 169 %Each goal whose choice point is removed are traced with a CUT port. 489 and removed
|
H A D | exthsusp.tex | 1169 i.e., suspensions which are no longer useful are removed destructively.
|
/barrelfish-master/lib/tommath/ |
H A D | tommath.tex | 354 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 D | ic.tex | 1352 \item[hole] Suspension list of goals to be woken when a value is removed
|
/barrelfish-master/doc/022-armv8/ |
H A D | report.tex | 970 all special encodings). Since ARMv8 has also removed the \texttt{ldm} (load
|
/barrelfish-master/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 1074 been removed. These are the decisions yet to be made.
|
/barrelfish-master/usr/eclipseclp/documents/applications/ |
H A D | tutorial.tex | 470 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