/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | megalog.pl | 115 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 D | elipsys.pl | 269 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 D | numbervars.pl | 58 ground representation. Note that metaterms can be used for the same
|
H A D | queues.pl | 135 will also show up in NewQ2. Note that 214 counts the number of elements currently in the queue. Note that
|
H A D | sockets.pl | 49 Note that ECLiPSe provides its own built-in socket manipulation
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | sample.tex | 55 use $\backslash$Note\{text\}. 57 \Note{For notes that the reader can safely skip on first reading, 58 use the Note command.}
|
H A D | eplex.tex | 262 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 D | setsolver.tex | 197 \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 D | umsbugs.tex | 44 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 D | umsparutil.tex | 44 given list in parallel. Note that it cannot work backwards and generate
|
H A D | umsparallel.tex | 36 {\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 D | umsexcept.tex | 90 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 D | solverinter.tex | 48 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 D | eplex.tex | 60 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 D | eplexdiff.tex | 113 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 D | ic.tex | 84 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 D | arrays.pl | 30 Note that store(Index, Old, Elem, New) sometimes side-effects Old and
|
H A D | assoc.pl | 19 % 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 D | map.pl | 255 % 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 D | chr_doc.pl | 29 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 D | umsforeign.tex | 45 Note that this approach uses more C code, but it is still more efficient
|
H A D | embfunc.tex | 47 failure. Note however, that if attributed variables are 152 Note that the
|
H A D | dbi.tex | 64 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 D | Introduction.tex | 33 assign a meaning to the terms of the language. Note that the C
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | builtins.tex | 154 Note the differences between UNIX and Windows style variants. 195 Note that numbers of different types are therefore not in their numerical order.
|