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

1234

/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsdynamic.tex35 That is, it can have clauses added and removed from its definition at run
239 \item Only dynamic procedures can have clauses added or removed at run time.
H A Dumsmemory.tex107 removed from the system.
110 since the removed code may still be under execution.
H A Dumstkeclipse.tex176 The display matrix will be removed on backtracking. However, it will
177 not be removed if \predspec{make_display_matrix} has been
191 Destroys an existing display matrix. The display matrix is removed
/barrelfish-master/lib/lwip2/src/core/
H A Ddns.c523 * @param hostname hostname for which entries shall be removed from the local
525 * @param addr address for which entries shall be removed from the local host-list
526 * @return the number of removed entries
531 int removed = 0; local
546 removed++;
552 return removed;
917 * be called and they will be removed.
919 * @param idx dns table index of the entry that is resolved or removed
971 /* if we come here, the pcb is not used any more and can be removed */
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dextpropia.tex188 The values {\em 6} and {\em 7} are removed from the domain of {\em ST1} because
194 removed from the domain of {\em ST1}. By a similar reasoning
195 {\em 4} and {\em 5} are removed from the domain of {\em ST2}.
H A Dfdglobal.tex103 instantiated to Value, or Value may be removed from their
H A Deplex.tex641 by the solver are removed, with a warning to the user. In effect, the
754 solver is run. The constraints will be removed on backtracking.
905 outstanding constraints not yet collected by the solver is not removed.
933 In eplex, constraints added to a problem are removed on
946 \item they are {\it not\/} removed on backtracking. Once
958 solving, and removed from the problem matrix after the solving.
H A Dextfd.tex64 are removed from its domain.
1073 %{\it El} removed and {\it Size} is its size.
1156 or when another element from the domain is removed.
1168 The element {\it El} is removed from the domain of {\it DVar} and all
1315 so that all values greater than this value are removed
1429 % and wake as soon as any element of the domain is removed
H A Dextconjunto.tex185 it is removed from the upper bound of {\em S}, otherwise the
187 bound of the domain of {\em S}, it is removed from the upper bound and
297 set variable. The intersection constraint is now satisfied and removed
/barrelfish-master/lib/openssl-1.0.0d/crypto/objects/
H A Dobj_dat.pl193 * the code are not to be removed.
H A Dobjects.pl144 * the code are not to be removed.
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dkernel_bips.pl363 % the number of instance checks because duplicates are removed,
H A Dmegalog.pl69 /* This syntax is removed at the end of this file */
182 MegaLog : If a procedure is compiled the asserted clauses are removed
602 operator are not removed
H A Dstat.pl65 % No longer supported (because emulator support removed):
/barrelfish-master/usr/eclipseclp/documents/mpslib/
H A Declipse.tex50 communication. They can easily be removed since they do not hold any
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dxml_generation.pl152 * characters are removed. &, " and < characters are replaced by &amp;, &quot;
H A Dcardinal_util.pl289 % Result = true if Elem originally in List (and successfully removed). Otherwise, Result=fail.
301 % Result = true if Elem originally in List (and successfully removed). Otherwise, Result=fail.
/barrelfish-master/usr/eclipseclp/Mercury/
H A Dm_map.pl755 key removed.
780 unify the removed value with Value. If the key Key was not in the
962 "Key":"The key removed",
966 fail_if: "Fails if Map0 is empty or if Key and Value do not unify with the key and value removed.",
972 map Map), and attempts to unify the removed key with Key and
/barrelfish-master/lib/openssl-1.0.0d/util/
H A Dmkerr.pl63 fact if any error or function codes have been added/removed.
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dglobalstate.tex129 is removed.
/barrelfish-master/doc/015-disk-driver-arch/
H A Dblockdevfs.tex127 \item Files cannot be removed, neither by the user nor by the backend.
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dtoolbox.pl328 % if j removed from the domain of V, remove i from the domain of Vals(j), redelay
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Ddomain.pl32 % 931208 removed special case of integer domain
37 % 990914 removed singleton warnings
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dconstimpl.tex282 Inconsistent values are removed form the domains as soon as possible.
299 Here, the value 2 for Y was not removed even though it is not arc consistent
545 \item[X->ic:hole] wake an internal domain value gets removed
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Ddatabase-sec.tex48 found in Prolog compilers (i.e. small capacity and no persistency) to be removed
328 Permanent ones can be removed from the database by using
737 the second attribute equal to `eder' will be removed,

Completed in 258 milliseconds

1234