Searched refs:so (Results 51 - 75 of 246) sorted by relevance

12345678910

/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dglobalstate.tex136 This allocation has no memory overhead, so e.g. allocating 8192 bytes
166 block remembers its own size, so it does not have to be passed as an
230 so these handlers should have the following structure:
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumsdynamic.tex63 the previous occurrence of that procedure, and so only the last one will
165 all existing clauses for the specified procedure, so that
228 {\eclipse}'s dynamic database features the so-called
H A Dumsexcept.tex144 \item Via timers, so-called after-events
190 events, as they are set up so that the event occurs \emph{after} a
198 This sets up an event \about{EventId} so that the event is raised once after
205 This sets up an event \about{EventId} so
208 seconds after that event was raised, and so on.
226 because it is raised repeatedly. A pending event can be cancelled so that
388 deterministic at compile time and so if a simple predicate were to cause the
536 ``through'' the call to the error handler, and so an exit may be made from
613 %The intended action is to erase the procedure so that
716 Just as event handlers may be user defined, so i
[all...]
/barrelfish-2018-10-04/lib/openssl-1.0.0d/
H A Dconfig416 # does give us what we want though, so we use that. We just just the
424 # figure out if gcc is available and if so we use it otherwise
496 # script above so we end up with values in vars but that would take
705 if [ -L /usr/lib/libc.so ]; then # [Free|Net]BSD
706 libc=/usr/lib/libc.so
708 # ld searches for highest libc.so.* and so do we
709 libc=`(ls /usr/lib/libc.so.* | tail -1) 2>/dev/null`
860 # if [ \( -f $krb5_dir/lib/libgssapi_krb5.a -o -f $krb5_dir/lib/libgssapi_krb5.so* \)\
861 # -a \( -f $krb5_dir/lib/libkrb5.a -o -f $krb5_dir/lib/libkrb5.so* \)\
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dremote_tools.pl181 made. This can be left as a variable, so that the system can determine
184 development tools from it using Address, so that the user does not need
H A Dsockets.pl59 so no changes are needed to load the library. However, for older
H A Dheaps.pl8 % These files are all in the "public domain" so you can
10 % programs of your own and so forth without payment.
67 the heap so far is M, and the tree currently has K elements, the tree
178 makes sense!) so that conversion between arbitrary data
H A Dkernel_bips.pl188 % In addition it must be split so that 'Before' is the length
248 % first_substring/4 uses position, not index, so add 1.
/barrelfish-2018-10-04/usr/eclipseclp/
H A DPACK305 # e.g. to avoid multiple copies of libgmp.so*
753 ; Specify a max string length (it's really a dummy so we can specify 4th arg)
929 LIBSUFFIX=so
930 SOSUFFIX=so
961 # - the dynamic library $arch/e${SOLVER}.{so,dll}
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dmap.pl78 % so such structures are NOT recognised as bags (this avoids a
238 % composes Map1 with the Predicate, so that K-V2 is in Map2 if
271 % This predicate calls an internal routine of that file, so both
373 % form so that you can easily see what it is. Note that a map
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Dembed.tex85 directories so that these tools can include and link the appropriate files.
130 This will link your application with the shared library \verb+libeclipse.so+.
132 At runtime, your application must be able to locate \verb+libeclipse.so+.
429 function returns the value \verb.EC_yield. so one can recognise this case.
554 or moved so terms do not survive the execution of {\eclipse}. In
611 The list is constructed starting from the end, so at all points during its
623 number of arguments is defined so as not to disable C++ casting
670 you are expecting so only one of these functions need be called.
729 The terms constructed so far (as EC-words) have been volatile, that is they
804 array itself, so th
[all...]
H A Dembsumc.tex135 checks whether the {\eclipse} pword is an atom, and if so,
140 a C long, and if so, stores it via the pointer provided.
145 a C long long, and if so, stores it via the pointer provided.
150 and if so, returns it as an C double.
156 checks whether the {\eclipse} pword is a list, and if so,
160 checks whether the {\eclipse} pword is a structure, and if so,
164 checks whether the {\eclipse} pword is a structure, and if so,
174 matches the given one, and if so, the data pointer is returned.
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A Dextconjunto.tex56 The computation domain of {\em\bf Conjunto} is finite so set
120 not available on our monitors so we use a specific syntax making the
295 set has been modified so is the intersection constraint activated and
436 % this constraint is a disjonction so it is useless to put it
489 example so it works well for n = 7, 9 but with the value 13 it becomes
808 \item We check if the two set variables are ground \verb/set/. If so
815 domain variable. If so, \verb/check_incl/ is called over the first
824 variable. If so, \verb/check_incl/ is called over the lower bound of
830 \item we check if both set variables are domain variables. If so the
836 consistent any more. If so, w
[all...]
/barrelfish-2018-10-04/lib/libc/
H A DMakefile16 # their own libc, so allow a directory named MACHINE_ARCH to override this.
33 SHLIB_LDSCRIPT_LINKS=libxnet.so
62 # Define (empty) variables so that make doesn't give substitution
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dtkdebug.tex32 flavor of the tools so that you will explore them on your own. You can get
99 of the program elsewhere so that you don't edit the original. You need to
126 the standard `generate-and-test' method, so you will see colour flashing in
315 debug ports so that the tracer will only stop at a port with the properties
412 \verb'3-4', which should be there so that \verb'not_same_colour'
493 TkECLiPSe does not provide an integrated editor itself, so you need to use
495 You can tell \eclipse which editor you want to use, so that you can invoke
600 so that a new run of the query can jump to its call port.
/barrelfish-2018-10-04/lib/openssl-1.0.0d/VMS/
H A Dmkshared.com229 ! make psects nonshareable so image can be installed.
385 $ ! kept, so switch over to the following
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/bn/
H A Dbn_prime.pl39 * The implementation was written so as to conform with Netscapes SSL.
/barrelfish-2018-10-04/lib/openssl-1.0.0d/demos/engines/cluster_labs/
H A DMakefile13 SHLIB= $(LIBNAME).so
/barrelfish-2018-10-04/lib/openssl-1.0.0d/demos/engines/ibmca/
H A DMakefile13 SHLIB= $(LIBNAME).so
/barrelfish-2018-10-04/lib/openssl-1.0.0d/demos/engines/rsaref/
H A DMakefile13 SHLIB= $(LIBNAME).so
/barrelfish-2018-10-04/lib/openssl-1.0.0d/demos/engines/zencod/
H A DMakefile13 SHLIB= $(LIBNAME).so
/barrelfish-2018-10-04/lib/openssl-1.0.0d/util/
H A Dadd_cr.pl71 * The implementation was written so as to conform with Netscapes SSL.
/barrelfish-2018-10-04/doc/015-disk-driver-arch/
H A Ddesign.tex9 process so that interrupts may be forwarded. To provide clients with access to
23 tables after they are checked, so the all these areas would have to be copied
H A Dfat.tex44 Barrelfish does not have any concept of Unicode, so our FAT implementation
100 multiple mounts using \acs{idc}, so with the current \acs{vfs} implementation
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/core/
H A Diwcm.c135 * iw_cm_event, so the low level driver doesn't have to. Adjust
193 struct socket *so,
210 cm_id_priv->id.so = so;
606 * An error on the child should not affect the parent, so this
624 * We could be destroying the listening id. If so, ignore this
635 iw_event->so,
721 * Clear the connect wait bit so a callback function calling
192 iw_create_cm_id(struct ib_device *device, struct socket *so, iw_cm_handler cm_handler, void *context) argument

Completed in 151 milliseconds

12345678910