Searched refs:add (Results 301 - 325 of 349) sorted by relevance

<<11121314

/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dextconjunto.tex270 If now we add one cardinality constraint:
517 predicate) we add one by one elements to the set till it becomes
H A Dextchr.tex710 (lemmas). For example, to the predicate {\tt append/3} one can add
866 \item \verb/add/: A new constraint is added to the constraint store.
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dpropiachr.tex563 Propagation rules are useful to add constraints, instead of replacing
691 Finally, we add three optimisations.
H A Dconstimpl.tex505 If we want to add a new constraint to an existing solver, we also
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsusing.tex707 how a directive may be added to a file to add a user-defined library in front
805 For example, to add the new suffix \notation{.pro} use:
H A Dumscompiler.tex345 To add clauses for a predicate incrementally though several independent
394 into it. This means that in order to incrementally add predicates
H A Dumsio.tex1008 & & do not add a newline \\
1018 & & do not add a fullstop \\
H A Dumsdeveltools.tex576 In order to add the coverage counters to code, it must be compiled with
H A Dumsmodules.tex538 automatically add a \defnotion{caller module} argument whenever such a tool
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/core/
H A Dlocal_sa.c95 .add = sa_db_add_dev,
H A Dsa_query.c115 .add = ib_sa_add_one,
H A Ducm.c113 .add = ib_ucm_add_one,
H A Duser_mad.c960 .add = ib_umad_add_one,
/barrelfish-master/usr/skb/programs/
H A Dbridge_fake_babybel.pl759 % add constraints to the tree
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dtracer_tcl.pl536 (Arity > LSize -> % add argument position if > LSize
574 Reply = [Status,["1"|NewPath]]. % add back the root node
1401 % could add info on purpose of each directory
H A Ddb.pl109 ** expr <-> atom ==> add a synonym
H A Dlinearize.pl236 % do not add it to the newly calculated sum, doing
H A Dlists.pl596 % add random key to each list element
H A Dquintus.pl365 :- system. % compiler directive to add the SYSTEM flag
H A Dfd_arith.pl345 !, % by default, add one argument and evaluate as
/barrelfish-master/usr/eclipseclp/WinMSC/GmpDll/
H A DGmpDll.mak77 -@erase ".\ReleaseMPN\add.obj"
163 -@erase ".\ReleaseMPZ\add.obj"
350 ".\ReleaseMPN\add.obj" \
434 ".\ReleaseMPZ\add.obj" \
645 -@erase ".\DebugMPN\add.obj"
733 -@erase ".\DebugMPZ\add.obj"
921 ".\DebugMPN\add.obj" \
1005 ".\DebugMPZ\add.obj" \
1202 SOURCE=..\..\Gmp\src\mpn\generic\add.c
1220 ".\ReleaseMPN\add
[all...]
/barrelfish-master/doc/022-armv8/
H A Dreport.tex334 we hope to \textbf{eventually} add support for the ThunderX.
1031 add x10, x10, #OFFSETOF_DISP_ENABLED_AREA
1052 add sp, sp, #(4 * 8)
/barrelfish-master/lib/openssl-1.0.0d/crypto/whrlpool/asm/
H A Dwp-mmx.pl189 &add ("esi",1);
/barrelfish-master/lib/cxx/cxx/filesystem/
H A Doperations.cpp1061 const bool add_perms = has_opt(perm_options::add);
1065 "One and only one of the perm_options constants replace, add, or remove "
1479 // [fs.path.generic]p6.8: If the path is empty, add a dot.
/barrelfish-master/lib/libc/arm/string/
H A Dmemcpy_xscale.S424 add pc, pc, r2, lsl #2

Completed in 289 milliseconds

<<11121314