/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | globalstate.tex | 136 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 D | umsdynamic.tex | 63 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 D | umsexcept.tex | 144 \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 D | config | 416 # 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 D | remote_tools.pl | 181 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 D | sockets.pl | 59 so no changes are needed to load the library. However, for older
|
H A D | heaps.pl | 8 % 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 D | kernel_bips.pl | 188 % 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 D | PACK | 305 # 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 D | map.pl | 78 % 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 D | embed.tex | 85 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 D | embsumc.tex | 135 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 D | extconjunto.tex | 56 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 D | Makefile | 16 # 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 D | tkdebug.tex | 32 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 D | mkshared.com | 229 ! 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 D | bn_prime.pl | 39 * 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 D | Makefile | 13 SHLIB= $(LIBNAME).so
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/demos/engines/ibmca/ |
H A D | Makefile | 13 SHLIB= $(LIBNAME).so
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/demos/engines/rsaref/ |
H A D | Makefile | 13 SHLIB= $(LIBNAME).so
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/demos/engines/zencod/ |
H A D | Makefile | 13 SHLIB= $(LIBNAME).so
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/util/ |
H A D | add_cr.pl | 71 * The implementation was written so as to conform with Netscapes SSL.
|
/barrelfish-2018-10-04/doc/015-disk-driver-arch/ |
H A D | design.tex | 9 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 D | fat.tex | 44 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 D | iwcm.c | 135 * 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
|