Searched refs:with (Results 226 - 250 of 468) sorted by relevance

1234567891011>>

/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dintroduction.tex6 % in compliance with the License. You may obtain a copy of the License
36 with examples for the interested reader.
103 integers. The {\em ic\_sets} library works together with the {\em ic} library
140 The user can also specify predicates using rules with guards
151 associated with any variable \cite{cp99wkshoptalk}.
189 problems (with less than 100 variables).
193 constraint closely integrated with {\em eplex}. It offers better
/barrelfish-master/lib/openssl-1.0.0d/
H A Dmakevms.com39 $! 32 To ge a library compiled with /POINTER_SIZE=32
40 $! 64 To ge a library compiled with /POINTER_SIZE=64
43 $! Specify DEBUG or NODEBUG as P3 to compile with or without debugging
65 $! use at build time (this works with DEC C). This is
120 $! Start with building the OpenSSL configuration file.
497 $ WRITE H_FILE "#undef BN_LLONG" ! Never define with SIXTY_FOUR_BIT
1009 $ WRITE SYS$OUTPUT " 32 : Compile with 32 bit pointer size"
1010 $ WRITE SYS$OUTPUT " 64 : Compile with 64 bit pointer size"
1249 $! Done with SOCKETSHR
1266 $! Done with MULTINE
[all...]
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_util.pl7 % in compliance with the License. You may obtain a copy of the License
29 % decision by deleting the provisions above and replace them with the notice
53 % Lub is the Least Upper Bound of my_set with Greatest Lower Bound Glb,
76 % SetAny is the union of Set1 with Set2. All sets are ordered lists.
88 % SetAny is the union of Set1 with Set2. No is Ni plus the
106 % SetBoth is the intersection of Set1 with Set2. All sets are ordered lists.
118 % SetBoth is the intersection of Set1 with Set2. No is Ni plus the
134 % SetBoth is the intersection of Set1 with Set2.
230 % If setof/3 fails, my_setof succeeds with List empty.
351 % Suspend (with Priorit
[all...]
H A Dbags.pl35 bag(E, M, B) - extends the bag B with a new (NB!) element E
36 which occurs with multiplicity M, and which
39 For instance the bag with an a and two bs in it is represented by the
44 is one snag with this: what are we to make of
51 alone. We are apparently stuck with a scheme which is only guaranteed
H A Dread.pl18 and also fixes bugs concerning the curious interaction of cut with
52 % reads a term from the current input stream and unifies it with
83 % I want to experiment with having the operator information held as
220 with,precedence,Precedence], S0).
234 % mop is monadic and dop dyadic with higher Prolog priority.
333 % input list with a marker where the error was noticed. If subgoal_of
341 % report an error message and then decide that it is happy with the input
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Ddiaz_bool.pl6 % in compliance with the License. You may obtain a copy of the License
44 /* Color the integers 1,2...,N with 3 colors so that there is no monochrome*/
47 /* where Intij is 1 if the integer i is colored with the color j. */
320 /* A = [L_1, ..., L_NL] with L_i = [X_i_1, ..., X_i_NC] */
327 % creates an array (with unbound variables)
/barrelfish-master/usr/skb/programs/
H A Ddecoding_net4.pl315 % VSpace a nodeid with exactly one translate. No accept/overlay etc.
323 % TODO: Replace findall with something p2i understands
413 % there is an overlap with an existing allocation, but not falling completly into.
432 % Map Rec case 2: We can reach Src with passing a reconfigurable node, but
448 % Map Rec case 3: We can reach Src with passing a reconfigurable node, the configurable
477 % back to the input address with the supermapping we just installed
511 % We can reach Src with passing a reconfigurable node, the supermapping for
546 % Now recurse, with the mapping removed
550 % We can reach Src with passing a reconfigurable node, the supermapping for
572 % Now recurse, with th
[all...]
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dsetof.pl7 % in compliance with the License. You may obtain a copy of the License
145 % Naive version with full variant testing, quadratic complexity
176 % Add keys that are copies of the original keys with their attributes stripped.
200 % Separate the leading list elements with identical keys
215 % Succeed once for each sequence of elements with identical keys
H A Dlists.pl7 % in compliance with the License. You may obtain a copy of the License
116 % L3 is the intersection of L1 and L2, with arguments ordered as in L1
534 starting with the first. When one input list is longer, its extra
659 Unifies the list List2 with the list List1 less an occurence of Element.
675 fail_if:" Fails if List2 does not unify with List1 less an occurence of Element.\n\n",
714 Unifies the list List2 with the list List1 less an occurence of Element.
730 fail_if:" Fails if List2 does not unify with List1 less an occurence of Element.\n\n",
735 summary:"Succeeds if Common unifies with the list which contains the common elements\nof List1 and List2.\n\n",
739 Common is unified with a list which contains the common elements of
760 fail_if:" Fails if Common does not unify with th
[all...]
H A Dcprolog.pl7 % in compliance with the License. You may obtain a copy of the License
72 be wrapped in a separate module starting with a directive like
103 The following differences remain even with the compatibility package:
186 % op(_, xfx, (with)),
190 % macro((with)/2, _, _),
197 op(0, xfx, (with)),
201 macro((with)/2, (=)/2, []),
H A Dcalendar.pl7 % in compliance with the License. You may obtain a copy of the License
66 % To simplify the leap year computations, we work internally with years
67 % that start on the 1st of Mar with day 0 and end on 28 or 29 Feb of
68 % the next year with day 364 or 365. Also, we internally use a day
147 desc:html("Convert MJD to a DayOfYear/Year representation, where DayOfYear is the relative day number starting with 1 on every January 1st"),
153 desc:html("Convert a DayOfYear/Year representation to MJD, where DayOfYear is the relative day number starting with 1 on every January 1st"),
163 (starting with 1 for the week that contains January 1st)"),
172 (starting with 1 for the week that contains January 1st)"),
331 % These have a problem with leap seconds: on these days, the day is
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembvb.tex6 % in compliance with the License. You may obtain a copy of the License
45 A collection of queue streams for communicating with {\eclipse}.
73 to communicate with the running goal.
157 The EclipseStreams collection associated with this EclipseClass.
194 This class allows exchanging data with an embedded {\eclipse} via
H A Dembsumcxx.tex6 % in compliance with the License. You may obtain a copy of the License
37 name/arity pairs. EC_atoms are dictionary identifiers with zero arity,
38 EC_functors are dictionary identifiers with non-zero arity.
48 looks up or enters the given string with arity into the {\eclipse}
104 creates an {\eclipse} array (a structure with functor \nil of
197 with a freshly created {\eclipse} variable.
202 with the value pw, which must be of a simple type.
310 If a writable queue stream with yield-option
314 If there was an attempt to read from an empty queue stream with
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dglobalstate.tex6 % in compliance with the License. You may obtain a copy of the License
69 and link your program with libshm.a
151 Free the memory at addr which was allocated previously with
182 Free the memory at addr which was allocated previously with h_alloc().
288 with the descriptor argument \&private_heap.
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsdynamic.tex6 % in compliance with the License. You may obtain a copy of the License
29 Support for dynamic code is provided partly for compatibility with
162 with this declaration inside, the system raises the error 64
225 will unify \about{Clause} with a clause on the dynamic database and remove it.
249 this can be done explicitly with
H A Dumsio.tex6 % in compliance with the License. You may obtain a copy of the License
37 They are usually associated with I/O devices (a file, a terminal,
133 For compatibility with Prolog systems, the system accepts the stream
154 newly opened (e.g. with \bipref{open/4}{../bips/kernel/iostream/open-4.html}),
230 open a communication channel with \about{SourceSink}.
244 \item start with an environment variable, e.g.,
306 It is cleaner to open streams with a variable for the stream identifier
309 \defnotion{Socket streams} are not opened with \predspec{open/3}, but with the
320 %This mechanism is normally used to communicate with othe
[all...]
H A Dumsdebug.tex6 % in compliance with the License. You may obtain a copy of the License
36 A procedure invocation (or goal) is represented by a box with entry
42 % The picture has been made with xfig and exported in
63 sure to fail, i.e., indexing is shown) unify with the goal.
65 called with arguments that make it sure to fail (because of
88 with an asterisk (*EXIT). When the last possibly matching clause of a
113 The predicate that gets displayed with the port is the predicate
137 %\item[UNIFY:] When a clause head successfully unifies with
143 %can be switched on with the appropriate
164 As with th
[all...]
H A Dumsdeveltools.tex6 % in compliance with the License. You may obtain a copy of the License
38 the programmer with program development:
154 \bipref{lint/1}{../bips/lib/lint/lint-1.html} predicate with the source
220 of the queens on the board, with each element representing
230 information file (with the extension \notation{.eci}) by extracting information
235 By default, these files are placed in a subdirectory with the
313 \caption{Call graph for queen example with built-in predicates}
324 HTML document with proper indentation, syntax colouring, hyperlinks
354 a program that are worth optimising. It can be used any time with any
420 The problem with th
[all...]
/barrelfish-master/doc/013-capability-mgmt/
H A Dtype_system.tex67 CNodes are organized as a two-level table with distinct capability types for
72 User space refers to entries in that address space with a 32-bit
79 with \verb|SYS_ERR_L1_CNODE_INDEX|.
152 The use of the two type-specific parameters is described along with
167 for copy and mint, and a mint with both cap-dependent parameters set to zero
293 be used for storage of kernel objects. Any domain with access to
352 This capability type refers to the kernel object associated with a
401 user with an LRPC message. The initial endpoint offset of an IDC
478 \item[Last copy deleted] Delete all the mapping capabilities associated with
530 4kB pages as pages} region of physical memory with
[all...]
/barrelfish-master/usr/eclipseclp/documents/visualisation/
H A Dannotate.tex6 % in compliance with the License. You may obtain a copy of the License
66 interested in the behaviour of the program with respect to the primary
147 To declare a \viewable{} with flexible dimensions, the three argument
153 \item[\texttt{FixityList}] is a list with an atom \texttt{fixed} or
205 As with \viewablecreatetwo{} and \viewablecreatethree{},
206 \viewableexpandthree{} silently succeeds with little overhead at
274 In an effort to increase the ease with which program behaviour can be
317 As with the regular list/array based viewable create calls, the first
341 The program annotations shown so far will work with most solvers in
/barrelfish-master/lib/openssl-1.0.0d/engines/
H A Dmakeengines.com12 $! P2 DEBUG or NODEBUG to compile with or without debugger information.
19 $! used by default since most other implementations come with a
35 $! 32 To ge a library compiled with /POINTER_SIZE=32
36 $! 64 To ge a library compiled with /POINTER_SIZE=64
134 $! Define which programs need to be linked with a TCP/IP library
265 $! depending on if we link with a TCP/IP library or not.
603 $ WRITE SYS$OUTPUT " 32 : Compile with 32 bit pointer size"
604 $ WRITE SYS$OUTPUT " 64 : Compile with 64 bit pointer size"
894 $! Done with SOCKETSHR
907 $! Done with MULTINE
[all...]
/barrelfish-master/doc/015-disk-driver-arch/
H A Dlibahci.tex10 bother with the \ac{ahci} specification details.
26 As all data transfers with \ac{ahci} as transport are done via \acs{dma}, we
101 traversal continues with the new memory regions. When a sufficiently large
110 \lstinline+ahci_dma_pool_init+ calls \lstinline+grow_dma_pool+ with the
119 \lstinline+return_region+ tries to merge the chunk with its predecessor and
140 with which the user can later match the command completed messages to his
176 receives a interrupt targeted to the \ac{ahci} port which is coupled with the
182 ahcid when the port associated with the current libahci binding receives an
227 This header contains definitions dealing with \ac{sata}'s \ac{fis} that are
/barrelfish-master/doc/023-coreboot/
H A Dcoreboot.tex128 \item boot \textless target coreid\textgreater: Boots a new core with a KCB.
163 and its appearance registered with the device management subsystem. This is done
188 invokes ``corectrl'' with the boot command.
194 selecting a kernel with the --kernel flag. Alternatively, the default
195 parameters passed to the kernel can be overridden with the --kargs option.
201 KCB is created for the core and initialized with default arguments.
216 \item The SKB is updated with information about the new core: The core is marked
230 \item The core is already running: In that case we abort with an error.
333 associated with any core, it can't be removed and therefore the operation
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dconjunto.pl6 % in compliance with the License. You may obtain a copy of the License
177 values defined with the symbols fg.
197 free variable unifying with the weight Weight of Var.
202 e(Val,Weight) with Wvar. This predicate is convenient to select
207 args:["+Var" : "A weighted element.", "?Wvar" : "Term unifying with an integer."],
209 fail_if:" Fails if Var is not of the form e(Val,Weight) or if Wvar is not\n unifyable with the weight.\n\n",
289 desc:html(" This predicate forces Svar to be the ground set associated with the
345 Svar is a ground set, it just returns the element with the geratest
350 args:["?Svar" : "A weighted set domain variable or a weighted set.", "?Var" : "Term unifying with a term of the form e(_,_)."],
352 fail_if:" Fails if Svar is not a weighted set term, or if Var can not be unified\n with th
[all...]
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dfd_min_max.pl6 % in compliance with the License. You may obtain a copy of the License
116 % Simplified versions with less arguments
133 % The general min_max with all options
202 % Simplified versions with less arguments
219 % The general minimize with all options
279 % Where gets unified with 'expr' when the list contains expressions
325 % Explicit check that can be used with minimize in additional choice points
417 printf("Found a solution with cost %d\n%b", Cost).

Completed in 841 milliseconds

1234567891011>>