Searched refs:so (Results 76 - 100 of 246) sorted by relevance

12345678910

/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Dembtclmulti.tex40 multitasking, so that different peers can apparently interact with
73 give up control, so that the control can be passed to the next multitasking
351 The code checks if it is in a peer multitasking phase, and if so,
352 {\tt return_code} is set to {\tt terminate}, so that when the handler
355 and so control is handed back to {\eclipse} in the normal way using {\bf
H A Dumscmacros.tex54 The following macros contain a {\tt return} statement and so they
107 so that it points to the chain end.
111 predicate, so there is no need to dereference them again.
159 a term which is uniquely defined by its tag and value and so a comparison with
266 They cause an exit from the external predicate and so they must
268 If the unification of the two terms succeeds, so does the
314 If all these unifications succeed, so does the external predicate,
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A Dextpropia.tex123 must delay so that completeness is preserved:
136 \#\lt, so after compiling this simple program:
193 $ST2 in \{1...10\}$ that makes either inequality true, and so {\em 6} is
282 million. To avoid exploring so many possibilities, we simply annotate
342 The check for entailment can be expensive, so Propia only drops
H A Dextchr.tex184 (the current directory must have write permission so that
359 that the propagation rule fired, so it will not fire again (with the
749 into one rule so that the search for a partner constraint is only
773 %requires access to the so-called ``kill-flag''. Each constraint
815 has to be edited so that the rules for the shared constraint are
830 have some not so readable notation inside the handler. For an
887 so the clauses of the associated constraint will be used for built-in labeling.
1046 is removed after the guard, so the \verb+X::L2+ is executed, and this can
1116 at_lower(1)} maps to a priority one lower than the default, so that ECH
1140 active constraint. The default priority is set at 9 so tha
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumsintro.tex117 %of variables so that e.g., debugging programs becomes much easier.
137 %so that it is easy to spot trivial errors like misspelling
148 %of a 'Prolog word' for a tag and so its data types are fully compatible
242 %simulate the execution of another program) and so the
285 %%the variables in a negated query, so that e.g.,
H A Dumsprofile.tex67 When the goal succeeds or fails, the profiler prints so
232 %call and so it has to create a choice point and try several clauses
237 %and so another one had to be tried.
H A Dumsmemory.tex115 heap to do so. This includes the handle-based facilities
132 has not been mentioned so far.
188 The main use of the Control Stack is to store so-called
229 so that space on the global stack is saved.
H A Dumsstring.tex41 Nevertheless, in {\eclipse} it was decided to have the string data type, so that
135 to unify the call with the first clause, then the second and so on until
/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/
H A Dannotate.tex89 so it is safe to leave the visualisation annotations in the code even
95 multi-dimensional structures if the problem variables are so related.
207 runtime, so it too may be left in code even when not visualising.
341 The program annotations shown so far will work with most solvers in
410 annotations, so as another example, the following annotation gives
/barrelfish-2018-10-04/doc/009-notifications/
H A DNotify.tex102 Barrelfish does not currently multiplex URPC channels in any way, so
158 The mechanism so far results in a single FIFO cacheline toggling
193 hyperthread so that interrupt latency and polling costs were
205 b->push() method on the flounder binding so the programmer can decide
238 it isn't the currently running domain and so sends a notification IPI.
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Deplex.tex34 different solvers (largely) hidden from the user, so that the user can
281 We need to setup the external solver with the eplex instance, so
316 so that the eplex problem can be solved again, after it has been modified.
373 Consider the example problem again, where it so happens that the
510 In the examples so far, the solver has been invoked explicitly.
581 MIP problem. However, this will generally not be optimal, and so the program
676 % m. we are dealing with floats here, so need some `margin' for a
721 this predicate requires the cost variable to be instantiated, so we call
724 variables, so that the branch-and-bound routine will remember it.
793 \item In the program from (4), remove the integrality constraints (so tha
[all...]
H A Dmodelling.tex283 This code should therefore be deterministic and terminating, so:
307 \item Changing the behaviour of the disjunction so it becomes a constraint
412 additional properties, and so exclude many of the symmetric solutions:
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A DMakefile.in253 # Order important: first RUN_LIB, then SYS_LIB (so we prefer dynamic libs)!
334 tkexdr.so: tkexdr.o
354 tkeclipse.so: tkeclipse.o tkexdr.so $(LIB_PREFIX)eclipse.so
358 tkeclipse.o tkexdr.so $(LIB_PREFIX)eclipse.so \
379 $(LIB_PREFIX)eclipse.so: $(COMMON_OBJECTS) $(DUMMYLIBS)
690 # These files are in the repository, so the system can be bootstrapped:
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dumscmacros.tex66 The following macros contain a {\tt return} statement and so they
119 so that it points to the chain end.
123 predicate, so there is no need to dereference them again.
176 a term which is uniquely defined by its tag and value and so a comparison with
283 They cause an exit from the external predicate and so they must
285 If the unification of the two terms succeeds, so does the
331 If all these unifications succeed, so does the external predicate,
H A Dio.tex68 in the buffer, so the input can be backed up as much.
148 understand for a human reader, so little harm is done by disallowing
208 variable occurrence, so no looping occurs.
/barrelfish-2018-10-04/lib/openssl-1.0.0d/
H A DMakefile.bak25 # INSTALL_PREFIX is for package builders so that they can configure
362 rm -f *.map *.so *.so.* *.dll engines/*.so engines/*.dll *.a engines/*.a */lib */*/lib
482 `find * \! -path CVS/\* \! -path \*/CVS/\* \! -name CVS \! -name .cvsignore \! -name STATUS \! -name TABLE \! -name '*.o' \! -name '*.a' \! -name '*.so' \! -name '*.so.*' \! -name 'openssl' \! -name '*test' \! -name '.#*' \! -name '*~' | sort` |\
H A DMakefile.org23 # INSTALL_PREFIX is for package builders so that they can configure
360 rm -f *.map *.so *.so.* *.dll engines/*.so engines/*.dll *.a engines/*.a */lib */*/lib
480 `find * \! -path CVS/\* \! -path \*/CVS/\* \! -name CVS \! -name .cvsignore \! -name STATUS \! -name TABLE \! -name '*.o' \! -name '*.a' \! -name '*.so' \! -name '*.so.*' \! -name 'openssl' \! -name '*test' \! -name '.#*' \! -name '*~' | sort` |\
/barrelfish-2018-10-04/usr/eclipseclp/
H A Dconfigure142 # We cannot yet assume a decent shell, so we have to provide a
243 # We cannot yet assume a decent shell, so we have to provide a
492 # already done that, so ensure we don't try to do so again and fall
497 # original and so on. Autoconf is especially sensitive to this).
565 # so uname gets run too.
847 # These are left unexpanded so users can "make install exec_prefix=/foo"
889 # Accept the important Cygnus configure options, so we can diagnose typos.
2379 # Strip out --no-create and --no-recursion so they do not pile up.
2590 # actually), so w
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/
H A Ddiaz_bool.pl44 /* Color the integers 1,2...,N with 3 colors so that there is no monochrome*/
176 /* Put N queens on an NxN chessboard so that there is no couple of queens */
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/conf/
H A Dkeysets.pl61 * The implementation was written so as to conform with Netscapes SSL.
/barrelfish-2018-10-04/lib/openssl-1.0.0d/test/
H A Dmaketests.com12 $! It was written so it would try to determine what "C" compiler to
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Doccur.pl74 % It may be at other places too, so the predicate is prepared to
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Ddevelopment_support.pl101 % check if Struct has field names. If so, returns in Defs the field names
H A Ddfid.pl45 * found are eliminated, and so the effect is that of the
H A Dutil.pl141 get_stream_info(Stream, _, _), % so that it fails if not open

Completed in 131 milliseconds

12345678910