Searched refs:with (Results 176 - 200 of 468) sorted by relevance

1234567891011>>

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dremote_tools.pl7 % in compliance with the License. You may obtain a copy of the License
136 without interacting directly with the GUI. For example, placing a
155 and supplied with the hostname and port number. Once this is done, the
173 user with more control over the connection than attach_tools/0. The
/barrelfish-master/usr/eclipseclp/Opium/demo/
H A Dshow_queens.pl3 * display of chess board with queens
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dprogramanalysis.tex6 % in compliance with the License. You may obtain a copy of the License
70 a program that are worth optimising. It can be used any time with any
145 The problem with the results displayed above is that the sampling
254 In order to add the coverage counters to code, it must be compiled with
261 predicate to compile a file with coverage counters.
314 the source, annotated with the values of the code coverage counters as
327 all files which have been compiled with coverage counters.
332 results for all files which have been compiled with coverage counters.
H A Dsample.tex6 % in compliance with the License. You may obtain a copy of the License
31 \item Make short paragraphs with meaningful headings.
H A Dtkdebug.tex6 % in compliance with the License. You may obtain a copy of the License
42 To keep things simple, the program is run with a very small
68 `map' of countries with four colours such that no two neighbours have the
92 The program used here is included with your {\eclipse} distribution. You
117 the file with the query \verb'[debugdemo]' from the query entry
133 countries 3 and 4 to the same colour (along with some that are correct).
192 identifies it. The `To Invoc:' button can be used to jump to the next port with
225 displayed with different colours: blue for a call port, green (success) for
315 debug ports so that the tracer will only stop at a port with the properties
318 with th
[all...]
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dprotect.pl6 % in compliance with the License. You may obtain a copy of the License
H A Dumsparutil.tex6 % in compliance with the License. You may obtain a copy of the License
60 backwards and it does not cope with aliasing between the {\it In} and
H A Dumslanguage.tex6 % in compliance with the License. You may obtain a copy of the License
46 provides a way to use structures with
60 Structures with the functor \about{book/4} can then be written as%
62 \indextt{with/2}
105 (i.e., with \notation{\{...\}} and \notation{of}), then the struct-declaration
302 iterate \about{Goals} starting with \about{In=First} until
310 iterate \about{Goals} with \about{X} ranging over all elements of
317 iterate \about{Goals} with \about{X} ranging over all elements of
354 iterate \about{Goals} with \about{I} ranging over integers from
395 iterate \about{Goals} with \abou
[all...]
H A Dumsmemory.tex6 % in compliance with the License. You may obtain a copy of the License
137 the current number of entries can be queried with
168 (this can be checked with the debugger or the profiling facility).
179 %On many machines, the Local Stack shares with the Control Stack the
183 %The Local Stack shares with the Control Stack the area specified by the
218 %may be shared with the Local Stack.
227 were read in with the flag \notation{variable_names} being \notation{on}.
252 is garbage collected together with the Global Stack.
263 It is also equipped with a dictionary garbage
303 collector, together with th
[all...]
H A Dumsarith.tex6 % in compliance with the License. You may obtain a copy of the License
39 \notation{3 + 4} as a compound term with functor \notation{+} and two arguments.
42 unify with a number. The evaluation of an arithmetic expression has to be
58 This result is then unified with \about{Result}.
92 This chapter deals purely with the evaluation of arithmetic expressions
126 Note that integer range is unlimited if {\eclipse} was compiled with
152 Rationals are supported if {\eclipse} is compiled with bignum support.
161 Floats are written with decimal point and/or an exponent, e.g.,
181 \about{interval} in order to avoid confusion with interval variables
200 All computations with bounde
[all...]
H A Dumscompiler.tex6 % in compliance with the License. You may obtain a copy of the License
73 The contents of the file is compiled with the default compiler options.
95 Like compile_stream/1 but with options list.
106 Like \predspec{compile_term/2} but with options list.
139 if they contain punctuation, blank space, or start with an upper case letter.
143 extension and no file with \notation{.ecl} extension is present. The list of
169 (on Windows), or with the single atom \notation{end_of_file}, followed by
213 Currently the integer 0 or 1, with 1 the default. Setting this to 0
219 The following options determine what is being done with the compilation result:
293 file end can also be simulated with
[all...]
/barrelfish-master/lib/tzcode/stdtime/
H A Dprivate.h26 ** This header is for use ONLY with the time conversion code.
144 ** (glibc 2.1 and later have stdint.h, even with pre-C99 compilers.)
163 you may need to compile with "-DHAVE_STDINT_H".
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dproject.pl39 % are all the same, and you want a list with just the Ak in the
52 % type-checked. project(Structs, K, Args) unifies Args with the
H A Ddistfix.pl16 % Purpose: Read Prolog terms (with extended syntax).
20 and also fixes bugs concerning the curious interaction of cut with
45 distfixop(999, fy, [there,is,a,clause,with,head,H,and,body,B],
47 distfixop(999, fy, [there,is,a,clause,with,head,H], clause(H,_))
90 % reads a term from the current input stream and unifies it with
121 % I want to experiment with having the operator information held as
266 with,precedence,Precedence], S0).
280 % mop is monadic and dop dyadic with higher Prolog priority.
387 % input list with a marker where the error was noticed. If subgoal_of
395 % report an error message and then decide that it is happy with th
[all...]
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Drepairfd.pl6 % in compliance with the License. You may obtain a copy of the License
/barrelfish-master/hake/
H A Dhake.sh48 echo " build tree, cd into it, and run this script with the --source-dir"
219 # evaluation, which generally gets *slower* with more threads, as the GHC
237 -with-rtsopts="$HAKE_RTSOPTS" \
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dgrace.pl6 % in compliance with the License. You may obtain a copy of the License
161 copy_term_grace(Var, Copy, grace with id:Id) :-
167 add_attribute(Copy, grace with [range:0, id:Id], grace).
195 % run(P) - stop only on breakpoints, run with prio P
640 % Fix the problem with minimize
644 concat_string(['Solution with cost ', Cost], Mess),
647 concat_string(['Optimal solution with cost ', Cost], Mess)
713 Attr = with(grace, [id:Id]),
723 Attr = grace with [matrix:Name],
726 reset_var(_{grace with [rang
[all...]
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Dmultiuser-sec.tex6 % in compliance with the License. You may obtain a copy of the License
48 processes communicate with the server, possibly across a network.
63 a database server for it. A server is started with the command
112 with either all the updates of the goal being committed to the database for
221 written in such a way that they can cope with restarts.
222 One way to achieve this is to trap the {\em exit\_block/1} operation with
228 a private, all with a single attribute of type atom.
235 Such a program is unsafe with respect to transaction abort in the case
274 with any changes made by aborted or incomplete transactions being undone.
313 Therefore a predicate can be directed to work with th
[all...]
/barrelfish-master/doc/009-notifications/
H A DNotify.tex57 messages. Each polls for a while and then yields, and with 3 domains
59 current mechanism will scale with the number of domains on the
113 contained a list of channels with \emph{new} incoming messages
137 shared FIFO with some agreed number of entries. Each entry can
160 timed 10000 invocations of the above sys$\_$notify() call (with the
161 receiver core in a tight polling loop) with a cost of 350 cycles per
179 at, with no polling overhead. We could use a single IPI vector, but
186 cycles (but may overlap with the cache coherence messages?) Taking
189 (I tried Richard's HLT in Ring0 with interrupts disabled trick and it
194 interleaved with norma
[all...]
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dextconjunto.tex6 % in compliance with the License. You may obtain a copy of the License
45 the library must start with the directive
49 For those who are already familiar with the \eclipse\ constraint library manual
96 with set operator symbols which are the standard ones coming from set
106 predicates deal with set terms thus with any of the three cases.
121 connection with arithmetic operators:
300 \subsection{Subset-sum computation with convergent weight}
380 term involved with a set term is propagated on the set domain. The
387 Found a solution with cos
[all...]
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Ddomain.pl6 % in compliance with the License. You may obtain a copy of the License
33 % 940304 element/3 constraint loop due to finite domains with repeated
36 % 990316 fixed problem with imposing constraint with same domain
42 % or arbitrary ground terms (!), the domain is set with setval(domain,Kind),
49 % Simplifies domains together with inequalities and some more CHIP predicates:
188 % interaction with inequalities
198 % interaction with interval domain
218 % interaction with inequalities
293 % this version does not work with arithemti
[all...]
/barrelfish-master/doc/017-arm/
H A DARM.tex79 aim to make it easy to add new ARM-based platforms with a mixture of
82 The principal processors with 32-bit ARM support in Barrelfish at present are
106 Building Barrelfish with ARMv7 is straightforward; detailed
111 track the GNU toolchain shipped with Ubuntu LTS (14.04.3 at time of
114 Once you have the right tools, run hake with the correct options,
123 After running \code{hake} with appropriate architecture support
131 (these are the platforms available with your architecture choices)
168 added 9356 changesets with 53499 changes to 6576 files
201 (these are the targets available with your architecture choices)
341 Instead, TTBR0 is always loaded with th
[all...]
/barrelfish-master/doc/022-armv8/
H A Dreport.tex54 derived from the existing ARMv7 codebase and running under GEM5, with generous
73 architecture has always been part of the project, beginning with the ARMv5
75 card to be integrated as a first-class part of the system, with its own CPU
105 years with supporting the great multiplicity of ARM platforms. The principal
118 themselves in to a complex SoC (system on a chip), with their own specialised,
140 APM & APM883208 & Mustang & 1P 8-core X-Gene 1 with serial trace. \\
151 & & Foundation Platform & Freely available, compatible with FVP. \\
187 have a running port, we are nevertheless continuing with a significant
195 For this reason, in addition to better integration with ARM debugging tools,
197 environment, with th
[all...]
/barrelfish-master/doc/002-mackerel/
H A DMackerel.tex150 start with \texttt{//} and continue until the end of the line.
156 must start with a letter or ``\texttt{\_}''.
169 literals have no specifier and hexadecimal literals start with
170 \texttt{0x}. Binary literals start with \texttt{0b}.
227 The \Mac compiler will search for a file with the appropriate name and
228 parse this at the same time as the main file, along with this file's
274 fields in a register or register type are listed starting with the
276 are listed starting with the one which includes the high bit in the
650 preceding the address specifier with the \texttt{also} keyword, you
669 \item the identifier of a register type previously declared with
[all...]
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dkernel.tex6 % in compliance with the License. You may obtain a copy of the License
31 Machine \cite{warren83}. Familiarity with its concepts will help
82 with associated data)
141 The MISC bit is used for different purposes with different kinds of tags,
180 atomic types and are represented with a TINT\index{TINT} tag. Larger integers are
184 Atoms\index{Atoms} are represented with a TDICT\index{TDICT} tag, the value part being a
188 up list operations by having only to deal with TLIST and TNIL tags.
193 On 64-bit machines, doubles\index{doubles} are represented like small integers, with
222 downward-compatible with C strings\index{strings}. As long as the strings are only
307 Variables with TNAM
[all...]

Completed in 217 milliseconds

1234567891011>>