Searched refs:modify (Results 51 - 72 of 72) sorted by relevance
123
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | dbi.tex | 472 In the example a cursor is prepared to modify account balances. It is used
|
H A D | embed.tex | 354 It is possible also to cut such search. So for example one could modify
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | runtime.tex | 421 semantics), and raises a "trying to modify a read-only ground term" error.
|
H A D | kernel.tex | 941 new_bp(ref(L)) & update failure continuation (modify small choicepoint) \\
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsmodules.tex | 474 These facilities make it possible to extend, modify, restrict or
|
H A D | umssyntax.tex | 457 In Prolog, the user is able to modify the syntax dynamically by explicitly
|
H A D | umslanguage.tex | 48 to modify, without compromising efficiency
|
H A D | umsdebug.tex | 1668 Allows to modify the \notation{print_depth}, i.e., the depth up to which 1691 This command allows to modify the options used when printing trace lines.
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | eplex.tex | 90 %allowing to modify and query many parameters and extract 867 These primitives modify an existing eplex problem {\it
|
H A D | extfd.tex | 914 and their domains, modify them and write new constraint
|
H A D | obsman.tex | 1020 and their domains, modify them and write new constraint
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | eplex.tex | 429 transported, we modify the program as follows:
|
H A D | eprolog.tex | 66 Declared structures help readability, and make programs easier to modify.
|
/barrelfish-master/doc/013-capability-mgmt/ |
H A D | type_system.tex | 675 entries to modify a mapping's flags.
|
/barrelfish-master/doc/003-hake/ |
H A D | Hake.tex | 662 At least three things can go wrong when you modify or write a
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | events.pl | 1692 % Only modify this variable while event handling is deferred!
|
H A D | fd.pl | 905 desc:html(" This is a simple hook predicate which allows the user to modify the 909 domain. To modify the default domain, it is necessary to recompile this
|
/barrelfish-master/doc/002-mackerel/ |
H A D | Mackerel.tex | 1901 // test LAN ID to see if we need to modify the MAC from EEPROM 1913 // test LAN ID to see if we need to modify the MAC from EEPROM
|
/barrelfish-master/lib/tommath/ |
H A D | bn.tex | 559 modify in the system (unless you are seriously low on memory).
|
H A D | tommath.tex | 1257 useful within functions that need to modify an argument but do not wish to actually modify the original copy. The 2557 a bit awkward to modify the function from its simple $O(n^2)$ description, the usefulness of partial multipliers will arise in a subsequent 3591 $\left [ 4 \right ] $ & Same as the previous but also modify the Karatsuba and Toom-Cook. You must \\
|
/barrelfish-master/usr/eclipseclp/documents/applications/ |
H A D | tutorial.tex | 318 We now introduce a naming scheme\index{naming scheme} that should be used to define identifiers for the various entities in an ECLiPSe program. A consistent naming scheme makes it easier to maintain and modify the program, and also makes sure that contributions from different programmers can be merged without extra work. The scheme presented here is used for RiskWise. 1502 Using these techniques to read data files is a bit of overkill, they are much more powerful and are used for example to read ECLiPSe terms themselves. But, given the right grammar, this process is very fast and extremely easy to modify and extend.
|
/barrelfish-master/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 2551 requirement is to modify that solution to satisfy some new
|
Completed in 235 milliseconds
123