/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embvb.tex | 29 This is a set of Visual Basic classes built around the scripting
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | globalstate.tex | 89 only used when create_flag is set.
|
H A D | runtime.tex | 76 The syntax option read_floats_as_breals can be set to force all floating point 353 \item the module to which the descriptor belongs (always set) 414 being set in pointers that point to (or into) these persistent heap
|
H A D | umscmacros.tex | 45 This set of macros was historically the first "external predicate 51 TAt least the following set of include files 493 %{\tt address} is set to point to the
|
H A D | io.tex | 194 re-created when the corresponding syntax options are set, and
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/project/ |
H A D | organisation.tex | 65 The repository (and the value you should set your CVSROOT environment
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | icintro.tex | 691 conjunctions of primitive constraints. For example, let us consider a set 935 constraints on a set of variables, and then label them. 937 is awkward to model the problem with a fixed set of variables. 1065 wood items (set simply at its maximum capacity for all items).
|
H A D | constimpl.tex | 92 \item there is a fixed set of variables $X_1, ..., X_n$ 97 Every constraint is simply defined as a set of pairs of consistent values. 328 It is the set of all goals that need to be satisfied.
|
H A D | tkdebug.tex | 43 data set, but it should be sufficient to see how the techniques described 189 set. For a CALL port, a '\#' could be displayed in this position, which 190 shows a breakpoint is set for the call.
|
H A D | prolog.tex | 29 Prolog data ({\bf terms}) and programs are built from a small set of 600 Resolution is the computation rule used by Prolog. Given a set of 603 The set of goals that still have to be resolved is called the 1012 %set of clauses & program \\ 1014 %predicate (set of clauses with same name and arity) & procedure \\
|
H A D | programanalysis.tex | 72 mode or set any flags. Note however that it is not available on
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsdynamic.tex | 170 If it is set to \bipref{true/0}{../bips/kernel/control/true-0.html}, for
|
H A D | umscompiler.tex | 314 is loaded, i.e., when compiling with the load-option set to 552 \item[skip] - set the \notation{skip} flag of all following 555 \item[noskip] - set the \notation{skip} flag of all following 558 \item[system] - set the \notation{type} flag of all following
|
H A D | umslanguage.tex | 324 same as before, but \about{Idx} is set to the argument position of \about{X} 342 same as before, but \about{Idx} is set to the index position of \about{X} in 431 are written does not matter, and the set of local loop variables 448 ``value'' of \about{IterSpec1}, and so on. The set of local loop variables
|
H A D | umsporting.tex | 151 the flag \notation{all_dynamic} can be set instead.
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | toolbox.pl | 24 % A set of various predicates to be used for modifications of the
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/ |
H A D | domain.pl | 42 % or arbitrary ground terms (!), the domain is set with setval(domain,Kind), 47 :- setval(domain,term). % set default
|
H A D | ech.pl | 351 Head =.. [F|ConsArgs], % set the constraint arguments 536 % RemoveArg normally set to zero, so that indexing args are not removed, except for last clause for this constraint 2213 % same PConsNumber, must have tried both positions, so set Pos to 3 2567 Allows the user to set options that affect the way the CHRs are compiled. 2580 this option set to `off', then the checks are not performed. 2586 If this option is set to `off', then the check is not performed.
|
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | bags.pl | 31 A bag B is a function from a set dom(B) to the non-negative integers.
|
/barrelfish-2018-10-04/doc/004-virtual_memory/ |
H A D | VirtualMemory.tex | 82 The object also maintains a set of architecture independent mapping flags.
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | events.pl | 1374 set_default_error_handler_(11, true/0, sepia_kernel), % set in meta.pl 1570 ?- reset_error_handlers. % set up the handlers 1637 % We expect this handler to be set up with the defers-option. 1672 vm_flags(0, 16'08000000, _), % set the WAS_EXIT flag 1676 % is dropped and the WAS_EXIT flag is set. 1770 % assume here that we can always set timer to 'real'
|
H A D | db.pl | 56 op(900, xfx, '++>'), % relational algebra set retrieval 127 /* set up a synonym */
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | ic.tex | 799 These predicates can be used to enumerate solutions to a set of constraints 828 These predicates can be used to locate real solutions to a set of 1048 If it is set to {\em lin} then the split is in the arithmetic middle. 1049 If it is set to {\em log}, the split is such as to have roughly the 1147 The number of linear constraints set up. 1252 can be set to 6, as there are no integers between five and six.
|
H A D | eplexdiff.tex | 79 solver) can have different and even incompatible bounds set for the same
|
/barrelfish-2018-10-04/usr/eclipseclp/Pds/src/ |
H A D | bmsg.msg.c | 29 ** A parallel distributed system is viewed as consisting of a set of 648 ** one should set BMSG_LINE_SIZE to a multiple of the cache line 1428 /* set socket to non-blocking */ 1444 /* set the process receiving SIGIO/SIGURG signals to us */ 1461 /* set the process receiving SIGIO/SIGURG signals to us */ 1996 ** After a communication channel has been set up, the ports of that 2162 ** Ports are stored in a port set which consists of a number of 3318 ** sockets that are member of the socket set. 3331 bmsg_embsock_accept(set,count) 3332 fd_set * set; [all...] |