Searched refs:add (Results 301 - 325 of 349) sorted by relevance
<<11121314
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extconjunto.tex | 270 If now we add one cardinality constraint: 517 predicate) we add one by one elements to the set till it becomes
|
H A D | extchr.tex | 710 (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 D | propiachr.tex | 563 Propagation rules are useful to add constraints, instead of replacing 691 Finally, we add three optimisations.
|
H A D | constimpl.tex | 505 If we want to add a new constraint to an existing solver, we also
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsusing.tex | 707 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 D | umscompiler.tex | 345 To add clauses for a predicate incrementally though several independent 394 into it. This means that in order to incrementally add predicates
|
H A D | umsio.tex | 1008 & & do not add a newline \\ 1018 & & do not add a fullstop \\
|
H A D | umsdeveltools.tex | 576 In order to add the coverage counters to code, it must be compiled with
|
H A D | umsmodules.tex | 538 automatically add a \defnotion{caller module} argument whenever such a tool
|
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/core/ |
H A D | local_sa.c | 95 .add = sa_db_add_dev,
|
H A D | sa_query.c | 115 .add = ib_sa_add_one,
|
H A D | ucm.c | 113 .add = ib_ucm_add_one,
|
H A D | user_mad.c | 960 .add = ib_umad_add_one,
|
/barrelfish-master/usr/skb/programs/ |
H A D | bridge_fake_babybel.pl | 759 % add constraints to the tree
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | tracer_tcl.pl | 536 (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 D | db.pl | 109 ** expr <-> atom ==> add a synonym
|
H A D | linearize.pl | 236 % do not add it to the newly calculated sum, doing
|
H A D | lists.pl | 596 % add random key to each list element
|
H A D | quintus.pl | 365 :- system. % compiler directive to add the SYSTEM flag
|
H A D | fd_arith.pl | 345 !, % by default, add one argument and evaluate as
|
/barrelfish-master/usr/eclipseclp/WinMSC/GmpDll/ |
H A D | GmpDll.mak | 77 -@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 D | report.tex | 334 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 D | wp-mmx.pl | 189 &add ("esi",1);
|
/barrelfish-master/lib/cxx/cxx/filesystem/ |
H A D | operations.cpp | 1061 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 D | memcpy_xscale.S | 424 add pc, pc, r2, lsl #2
|
Completed in 289 milliseconds
<<11121314