| /barrelfish-2018-10-04/usr/eclipseclp/Opium/demo/ |
| H A D | nqueens.pl | 38 safe(Qs).
68 * safe/1
70 safe([Q|Qs]) :-
71 safe(Qs),
73 safe([]).
|
| /barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/asn1/ |
| H A D | asn_pack.c | 89 unsigned char *safe, *p; local
95 if (!(safe = OPENSSL_malloc (safelen))) {
99 p = safe;
103 if (buf) *buf = safe;
104 return safe;
|
| /barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/ |
| H A D | queens.pl | 56 % A queen is safe if it cannot be taken by
60 safe(X, Y, 1),
63 safe(_, [], _).
64 safe(Q1, [Q2|T], N) :-
69 safe(Q1, T, N1).
|
| /barrelfish-2018-10-04/lib/openssl-1.0.0d/apps/ |
| H A D | prime.c | 67 int safe=0; local
90 else if(!strcmp(*argv,"-safe"))
91 safe=1;
133 BN_generate_prime_ex(bn,bits,safe,NULL,NULL,NULL);
|
| /barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/ |
| H A D | queens_domain.pl | 34 queen([X|Xs]):- safe(X,Xs,1),queen(Xs).
36 safe(X,[],N).
37 safe(X,[H|T],N):- no_attack(X,H,N), M is N+1, safe(X,T,M).
|
| /barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/bn/ |
| H A D | bn_depr.c | 68 BIGNUM *BN_generate_prime(BIGNUM *ret, int bits, int safe, argument
84 if(!BN_generate_prime_ex(rnd, bits, safe, add, rem, &cb))
|
| H A D | bn_prime.c | 159 int BN_generate_prime_ex(BIGNUM *ret, int bits, int safe, argument
181 if (safe)
197 if (!safe)
205 /* for "safe prime" generation,
223 /* We have a safe prime test pass */
|
| H A D | bn.h | 525 BIGNUM *BN_generate_prime(BIGNUM *ret,int bits,int safe,
537 int BN_generate_prime_ex(BIGNUM *ret,int bits,int safe, const BIGNUM *add,
|
| /barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
| H A D | umsdeveltools.tex | 94 safe(Out).
105 safe([]).
106 safe([N|L]) :-
108 safe(L).
147 safe(Out).
211 fail_if: "A solution cannot be found where all queens are safe
222 found, a list is returned specifying the safe Y-coordinate
292 safe / 1
294 safe / 1 calls:
296 safe /
[all...] |
| H A D | umsarith.tex | 178 To provide safe arithmetic over the real numbers, {\eclipse}
184 which constitute a safe lower and upper bound for the real number that
200 All computations with bounded reals give safe results, taking rounding
|
| H A D | umssocket.tex | 101 Therefore, the safe approach is to use the default and let the system
|
| /barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
| H A D | queens.pl | 149 safe(X,Y,1),
152 safe(_,[],_).
153 safe(X,[F|T],Nb) :-
156 safe(X,T,Newnb).
|
| H A D | modes.pl | 372 % To achieve safe handling of aliasing, we turn '$alias'({-})
|
| /barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
| H A D | programanalysis.tex | 86 safe(Out).
97 safe([]).
98 safe([N|L]) :-
100 safe(L).
180 safe /1 eclipse 2.8% 0.09s 99.4%
|
| H A D | modelling.tex | 341 The following code is currently not safe in ECLiPSe:
|
| H A D | real.tex | 318 same as that used for bounded reals; that is, the inferences made are safe,
|
| H A D | hybrid.tex | 701 The reduced cost of a variable is a safe estimate of how much the
717 is a safe estimate of: 1) how much the optimal will be changed by {\it
|
| /barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/ |
| H A D | multiuser-sec.tex | 240 A safe version using {\em block/3} looks as follows.
243 safe(X) :- ins_tup(s1,X),
249 ?- transaction(safe(new_item)).
|
| /barrelfish-2018-10-04/include/openssl/ |
| H A D | bn.h | 525 BIGNUM *BN_generate_prime(BIGNUM *ret,int bits,int safe,
537 int BN_generate_prime_ex(BIGNUM *ret,int bits,int safe, const BIGNUM *add,
|
| /barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
| H A D | extfd.tex | 765 safe(X, Y, 1),
768 safe(_, [], _).
769 safe(X, [Y|T], K) :-
772 safe(X, T, K1).
|
| /barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/ |
| H A D | annotate.tex | 89 so it is safe to leave the visualisation annotations in the code even
|
| /barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
| H A D | embed.tex | 732 It is possible to create safe terms
736 safe terms.
|
| H A D | dbi.tex | 47 The interface provides safe handles to database cursors. Higher
|
| /barrelfish-2018-10-04/doc/011-idc/ |
| H A D | IDC.tex | 509 Binding implementations are not thread-safe, and it is the responsibility of
605 determine when it is safe to reclaim the memory used by reference parameters.
|
| /barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
| H A D | runtime.tex | 80 All operations on bounded reals are numerically safe in the sense that
|