Searched refs:Note (Results 1 - 25 of 171) sorted by relevance

1234567

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dmegalog.pl115 Note : %% hyperbolic radial functions are missing in Sepia because label
146 Note : The interpretation of :- dynamic f/1, assert(f(1)) label
174 % Note : This compatibility is probably unwanted
185 Note : The error handler defined below solves some of these problems label
233 Note : This has a global effect in all modules label
313 ** %% Note that protection against cut and cut_fail is not supported
358 ** Note : This is solved by an 'lib(oldio), import(oldio)' *before*
370 ** Note : in effect there is no real difference for 'normal' users
392 Note : get_stream/2 is identical label
428 Note label
463 Note : program development environment only label
476 Note : not needed if no compiled code in external KB, label
533 Note : Defined in ml_builtins.c, global in Sepia-MegaLog integration label
546 Note : Requires MegaLog parser/printer and can therefore not be ported label
561 Note : Defined in ml_builtins.c, global in Sepia-MegaLog integration label
590 Note : Debugger related functionality (implementation wise) label
601 Note : All operator definitions are done only locally in module megalog label
634 Note : menitoned in manual, used by debugger/editor only label
651 Note : one should use current_time/2 and delta_time/2 instead label
684 Note : Defined in ml_builtins.c, global in Sepia-MegaLog integration label
694 Note : Defined in ml_builtins.c, global in Sepia-MegaLog integration label
700 Note : Defined in ml_bang_builtins.c, global in Sepia-MegaLog integration label
708 Note : Defined in ml_lock.c, global in Sepia-MegaLog integration label
757 Note : Defined in builtins.c label
787 Note : Defined in builtins.c label
798 Note : Defined in ml_builtins.c, global in Sepia-MegaLog integration label
810 Note : Sepia will sleep longer, however, it is anyway not a real time label
853 Note : This also affects arg/3, functor/3, =../2 which are more label
891 Note : not needed label
900 Note : Defined in builtins.c label
911 Note : expo_random/2, random_ab/3, random_01/1 return float values label
[all...]
H A Delipsys.pl269 Note : %% hyperbolic radial functions are missing in Sepia because label
324 Note : The interpretation of :- dynamic f/1, assert(f(1)) label
354 % Note : This compatibility is probably unwanted
365 Note : The error handler defined below solves some of these problems label
414 Note : This has a global effect in all modules label
488 ** %% Note that protection against cut and cut_fail is not supported
534 ** Note : This is solved by use_module(library(oldio)) above
545 ** Note : in effect there is no real difference for 'normal' users
567 Note : get_stream/2 is identical label
591 Note label
626 Note : program development environment only label
666 Note : Requires MegaLog parser/printer and can therefore not be ported label
680 Note : Defined in ml_builtins.c, global in Sepia-MegaLog integration label
718 Note : Debugger related functionality (implementation wise) label
729 Note : All operator definitions are done only locally in module megalog label
752 Note : one should use current_time/2 and delta_time/2 instead label
816 Note : Defined in ml_builtins.c, global in Sepia-MegaLog integration label
826 Note : Defined in ml_builtins.c, global in Sepia-MegaLog integration label
832 Note : Defined in ml_bang_builtins.c, global in Sepia-MegaLog integration label
840 Note : Defined in ml_lock.c, global in Sepia-MegaLog integration label
913 Note : Defined in builtins.c label
[all...]
H A Dnumbervars.pl58 ground representation. Note that metaterms can be used for the same
H A Dqueues.pl135 will also show up in NewQ2. Note that
214 counts the number of elements currently in the queue. Note that
H A Dsockets.pl49 Note that ECLiPSe provides its own built-in socket manipulation
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dsample.tex55 use $\backslash$Note\{text\}.
57 \Note{For notes that the reader can safely skip on first reading,
58 use the Note command.}
H A Deplex.tex262 Note that the bounds are posted to our eplex instance, using \verb'$::/2'.
263 \Note{The default bounds for variables is -1.0Inf..1.0Inf. Bounds posted to
271 \Note{The arithmetic constraints can be linear expressions on both
285 Note that
304 Note that the problem variables are not
310 21.0 in the example above). Note also that the external solver may not
352 Note that, in general, an MP problem can have many optimal solutions, i.e.\
444 variables in the list. \Note{In fact, with the integer
466 \Note{Posting an integers/1 constraint to an eplex instance only
507 Note tha
[all...]
H A Dsetsolver.tex197 \Note{Note that we needed to qualify the intersection/3 constraint with
200 \Note{Note the lack of a complement constraint: this is because the complement
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsbugs.tex44 Note however that the arity of compound terms is unlimited.
78 Note however that, starting from version 5.6, cyclic terms are allowed in all
H A Dumsparutil.tex44 given list in parallel. Note that it cannot work backwards and generate
H A Dumsparallel.tex36 {\bf Note that this feature is currently not actively supported!}
49 Note that {\eclipse} allows you to add and remove workers during program execution.
93 Note that for a parallel predicate
99 Note that not only is colour/1 executed in parallel, but also the
205 Note that the worker manager interface
H A Dumsexcept.tex90 next regular predicate is invoked. Note that there are a few
255 \predspec{set_flag/2}). Note that if the
275 there will not be a suspended goal to wake up. Note that if the execution
296 Note the need to declare
301 Note also that it is necessary to connect the event machanism to
420 error handler has been defined. Note that this error handler might not be
508 Note that the handler could bind Y which would have the same effect
514 Note that some events are not errors but are used for different purposes.
725 trying to establish a handler for them yields an error message. Note that
865 %Note tha
[all...]
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dsolverinter.tex48 Note that in this context, integers are considered a subset of the reals.
57 Note that in this context,
117 particular constraint is supported by the particular solver. Note
123 Note that the `standard arithmetic' operators
166 Note that for constraints that are defined for \verb'eclipse_language',
H A Deplex.tex60 Note that the {\eclipse} library described here is just an interface
147 Note that if the variable's type is integer, the bound will be adjusted
217 Lo, Hi are the lower and upper bounds, respectively. Note that the
220 Note also that the external solver does not do any bound propagation
237 Note that unless eplex:integers/1 (or lp_add/3, see
246 Note that all the above constraints are local to the eplex instance; they
316 Note that if the {\tt eplex} eplex instance is used instead of {\tt
340 The cost is now higher because X is constrained to be an integer. Note also
432 Note that if there are multiple eplex instances, and a variable is shared
513 or added constraints. Note tha
[all...]
H A Deplexdiff.tex113 Note that the generic \bipref{get_var_bounds/3}{../bips/kernel/termmanip/get_var_bounds-3.html} and \bipref{set_var_bounds/3}{../bips/kernel/termmanip/set_var_bounds-3.html}
136 \verb'get_var_bounds/3' for all problem variables. Note that it is the generic
149 via some other bounds keeper, e.g. \verb'lib(ic)'. Note that it is always
H A Dic.tex84 domain solver. Note however that this precision limit is way beyond
86 substantially less than $2^{32}$). Note also that deliberately
127 Note that IC has better reification support, in that any constraint
174 Note that interval arithmetic does not guarantee small errors, it just
201 Note that for this conversion, floating point numbers are assumed to
248 Note the delayed goal indicating the conditions under which the original goal should be considered to have succeeded.
290 result. Note, however, that user defined constraint/functions, when used
424 Note: The simple cases (e.g.\ \verb|Bool #= (X #> 5)|) are
520 Note that calling the reified form of {\tt ::} will result in the
561 Note tha
[all...]
/barrelfish-master/usr/eclipseclp/Contrib/
H A Darrays.pl30 Note that store(Index, Old, Elem, New) sometimes side-effects Old and
H A Dassoc.pl19 % Note : the keys should be ground, the associated values need not be.
43 % Note that SEPIA will properly index on the last argument:
139 recorded(tree,T,Ref), % tree. Note, the code above does not
H A Dmap.pl255 % finite map Map. Note that the cardinality (length) of the domain and
355 % value does not unify with Result. Note that this operation is O(N)
373 % form so that you can easily see what it is. Note that a map
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dchr_doc.pl29 and load the pl file. Note that even if the file cannot be opened by
56 Note that even if the file cannot be opened by UNIX (Error 170), a
81 Note that if the unification with Constraint binds variables occurring
160 unifies with Constraint from the constraint store. Note that if the
344 automatically loaded. Note that the Opium debugger for constraint
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dumsforeign.tex45 Note that this approach uses more C code, but it is still more efficient
H A Dembfunc.tex47 failure. Note however, that if attributed variables are
152 Note that the
H A Ddbi.tex64 be accessible. Note also any differences in the SQL between different databases
222 C API's integer type will raise an error. Note that while the number
234 EXDR string can then be passed to the database. Note that EXDR can only
361 transaction. (Note: not all changes can be rolled back; consult the DB manual for details)
474 another account. Note: the example uses MySQL's syntax for prepared
509 Note that for databases that does not support execution of multiple tuples, this
643 discarded. Note that this is non-logical: the discarded results are not
/barrelfish-master/tools/fof/
H A DIntroduction.tex33 assign a meaning to the terms of the language. Note that the C
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dbuiltins.tex154 Note the differences between UNIX and Windows style variants.
195 Note that numbers of different types are therefore not in their numerical order.

Completed in 75 milliseconds

1234567