Searched refs:item (Results 51 - 75 of 200) sorted by relevance

12345678

/barrelfish-2018-10-04/usr/eclipseclp/lib_tcl/widget/
H A Dprogressbar.tcl23 ## This is also the default item start foreground color.
26 ## Default item background color. {} means transparent.
29 ## Default item finished foreground color. Must be in #rgb format.
32 ## Default item type (currently 'document' and 'image' are supported).
74 ## create ?item? ?-option value ...?
75 ## Start displaying the progress of an item. "item" is the
76 ## name to associate with the item. If no name is supplied, a unique
77 ## name is generated. If an item of the same name already exists, then
78 ## a new unique name is generated. Returns the name of the created item
[all...]
/barrelfish-2018-10-04/tools/fof/
H A DFutureWork.tex14 \item[Module import clean-up:] for historical reasons, some imports
17 \item[Paka terms with real holes:] in Section~\ref{sec:il_paka_paka},
20 \item[More efficient redundant assignment optimizer:] in
23 \item[Supporting function pointers:] preventing Filet-o-Fish users to
28 \item[Implementing the interpreter in the Agda language:] this was
32 \item[Code generator back-back-end:] following the steps of FoF and
35 \item[Hoopl-based optimization framework:] the
41 \item[Translation validation infrastructure:] because we claim
47 \item[More stringent syntactic tests:] it is very easy to build
52 \item[Compilin
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumserrors.tex68 %\item Argument Types and Values, Arithmetic
69 %\item Data and Memory Areas, Predicates, Modules, Operators
70 %\item Run-Time System, Compilation, Execution, Top-Level
71 %\item Macro transformation errors.
72 %\item I/O, Operating System, External Interface
73 %\item Advanced Features, Extensions, Debugging
74 %\item User-Defined Events
178 \item
182 \item
185 \item
[all...]
H A Dumssyntax.tex44 \item a \notation{term_h} is a term which is the head of the clause.
45 \item a \notation{term_h(N)} is a \notation{term_h} of maximum
47 \item a \notation{term_g} is a term which is a goal (body) of the clause.
48 \item a \notation{term_g(N)} is a \notation{term_g} of maximum
50 \item a \notation{term_a} is a term which is an argument of a compound term or
52 \item a \notation{term(N)} can be any term (\notation{term_h},
55 \item \notation{fx(N)} is a prefix operator of precedence \about{N} which is not
57 \item \notation{fy(N)} is a prefix operator of precedence \about{N} which is
60 \item similar definitions apply for infix (\notation{xfx}, \notation{xfy},
149 \item\headin
[all...]
H A Dumscalendar.tex49 \item[date_to_mjd(+D/M/Y, -MJD)] converts a Day/Month/Year structure into
51 \item[mjd_to_date(+MJD, -D/M/Y)] converts an MJD
53 \item[time_to_mjd(+H:M:S, -MJD)] returns a float MJD \lt 1.0 encoding the
56 \item[mjd_to_time(+MJD, -H:M:S)] returns the time of day (UTC/GMT)
59 \item[mjd_to_weekday(+MJD, -DayName)] returns the weekday of the
61 \item[mjd_to_dow(+MJD, -DoW)] returns the weekday of the
63 \item[mjd_to_dow(+MJD, +FirstWeekday, -DoW)] as above, but allows to choose
66 \item[mjd_to_dy(+MJD, -DoY/Y), dy_to_mjd(+DoY/Y, -MJD)] convert MJDs
69 \item[mjd_to_dwy(+MJD, -DoW/WoY/Y), dwy_to_mjd(+DoW/WoY/Y, -MJD)] convert
74 \item[mjd_to_dw
[all...]
H A Dumscmdlineopts.tex37 \item[$-$b file]\cmdlineoptionidx{b}
40 \item[$-$f file]\cmdlineoptionidx{f}
50 \item[$-$e goal]\cmdlineoptionidx{e}
70 \item[$-$g size]\cmdlineoptionidx{g}
80 \item[$-$l size]\cmdlineoptionidx{l}
90 \item[$-$D directory]\cmdlineoptionidx{D}
98 \item[$-$L language]\cmdlineoptionidx{L}
105 \item[$-$t module]\cmdlineoptionidx{t}
112 \item[$-$ $-$]\cmdlineoptionidx{-}
146 \item[\notationid
[all...]
/barrelfish-2018-10-04/doc/023-coreboot/
H A Dcoreboot.tex128 \item boot \textless target coreid\textgreater: Boots a new core with a KCB.
129 \item stop \textless target coreid\textgreater: Stop execution on an existing core.
130 \item update \textless target coreid\textgreater: Update the CPU driver on an existing core.
131 \item give \textless from kcbid\textgreater \textless to kcbid\textgreater: Give kcb from one core to another.
132 \item rmkcb \textless kcbid\textgreater: Remove a running KCB from a core.
133 %\item park \textless kcbid to stop\textgreater \textless recv kcbid\textgreater: Stop execution on an existing core and park KCB on another core.
134 %\item unpark \textless kcbid to unpark\textgreater: Reestablish parked KCB on its original core.
135 \item lscpu: List current status of all cores.
136 \item lskcb: List current KCBs.
146 \item
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A Dmp.tex83 \item Create a port that will receive service requests.
84 \item Register the port under a specific name with the name server.
85 \item Attach a notification procedure to the port, or alternatively
90 \item Looks up an appropriate port in the name server.
91 \item Sends a service request message to that port, including the
93 \item Waits for the reply or continues working until notified of the reply.
114 \item [port\_allocate(-PortId)] Create a local port on which
116 \item [port\_deallocate(+PortId)] Remove a local port.
117 \item [port\_set\_option(+PortId, +Option)] Configure a local port, e.g.\
119 \item attac
[all...]
H A Dfdglobal.tex60 \item[\biptxtref{alldifferent(+List)}{ic_global:alldifferent/1}{../bips/lib/ic_global/alldifferent-1.html}]\ \\
64 \item[\biptxtref{alldifferent(+List, ++Capacity)}{ic_global:alldifferent/2}{../bips/lib/ic_global/alldifferent-2.html}]\ \\
68 \item[\biptxtref{alldifferent_matrix(+Matrix)}{alldifferent_matrix/1}{../bips/lib/ic_global/alldifferent_matrix-1.html}]\ \\
71 \item[\biptxtref{gcc(++Bounds,+Vars)}{gcc/2}{../bips/lib/gfd/gcc-2.html}]\ \\
77 \item[\biptxtref{inverse(+Succ, +Pred)}{inverse/2}{../bips/lib/ic_global/inverse-2.html}]\ \\
81 \item[\biptxtref{lex_le(+List1, +List2)}{lex_le/2}{../bips/lib/ic_global/lex_le-2.html}]\ \\
85 \item[\biptxtref{lex_lt(+List1, +List2)}{lex_lt/2}{../bips/lib/ic_global/lex_lt-2.html}]\ \\
88 \item[\biptxtref{ordered(++Relation, +List)}{ordered/2}{../bips/lib/ic_global/ordered-2.html}]\ \\
93 \item[\biptxtref{ordered_sum(++List, +Sum)}{ordered_sum/2}{../bips/lib/ic_global/ordered_sum-2.html}]\ \\
98 \item[\biptxtre
[all...]
H A Dgfd.tex153 \item[{\tt gfd_gac}] Domain consistent (Generalised Arc-Consistent), maps to {\tt ICL_DOM} in Gecode.
154 \item[{\tt gfd_bc}] Bound consistent, maps to {\tt ICL_BND} in Gecode.
155 \item[{\tt gfd_vc}] Value consistent, maps to {\tt ICL_VAL} in Gecode.
156 \item[{\tt gfd}] Default consistency level, maps to {\tt ICL_DEF} in Gecode.
285 \item[\biptxtrefni{?Vars \#:: ++Domain}{\#::/2!gfd}{../bips/lib/gfd/HNN-2.html}]
303 \item[Relational Constraints]
322 \item[Logical Connective constraints]
363 \item[\texttt{X}]
367 \item[\texttt{123}]
370 \item[\textt
[all...]
H A Dextfd.tex46 \item[domain variable]
56 \item[integer domain variable]
66 \item[integer interval]
79 \item[linear term]
108 \item[rational term]
122 \item[constraint expression]
142 \item[] \biptxtref{?Vars :: ?Domain}{fd:(::)/2}{../bips/lib/fd/NN-2.html}\ \\
170 \item[] \biptxtref{integers(+Vars)}{fd:integers/1}{../bips/lib/fd/integers-1.html}\ \\
175 \item[] \biptxtref{::(?Var, ?Domain, ?B)}{fd:(::)/3}{../bips/lib/fd/NN-3.html}\ \\
180 \item[] \biptxtre
[all...]
H A Dic.tex65 \item IC supports real variables and constraints; FD does not.
67 \item FD supports symbolic domains; IC does not (use the ic_symbolic
70 \item In FD, numeric domains are more or less limited to
92 \item IC usually requires that expressions constructed at runtime be
98 \item IC does not support the \bipref{\#$<$=/2}{../bips/lib/fd/HLE-2.html}
109 \item The reified connectives provided by the two solvers are different:
131 \item The primitives for accessing and manipulating the domains of
301 \item[{\texttt X}]
306 \item[\texttt{123}]
310 \item[\textt
[all...]
/barrelfish-2018-10-04/lib/vfs/
H A Dvfs_cache.c80 void *item; member in struct:cache_entry
173 free(entry->item);
307 fs_cache_acquire(struct fs_cache *cache, uint32_t key, void **item) argument
338 *item = entry->item;
344 fs_cache_put(struct fs_cache *cache, uint32_t key, void *item) argument
371 if (entry->item == item) {
376 // unused entry with same key, replace item
378 free(entry->item);
[all...]
/barrelfish-2018-10-04/lib/libc/locale/
H A Dnl_langinfo.c49 #define _REL(BASE) ((int)item-BASE)
52 nl_langinfo_l(nl_item item, locale_t loc) argument
58 switch (item) {
204 nl_langinfo(nl_item item) argument
206 return nl_langinfo_l(item, __get_locale());
/barrelfish-2018-10-04/doc/021-cpudriver/
H A Dcpudriver.tex76 \item x86-32
77 \item x86-64
78 \item k1om
79 \item ARMv7
80 \item ...
81 \item ARMv8
86 \item No dynamic memory allocation
87 \item No preemption
88 \item ...
162 \item \textb
[all...]
/barrelfish-2018-10-04/doc/012-services/
H A DServices.tex75 \item Binding
76 \item Capability Management
77 \item Debugging
78 \item Device Driver
79 \item Device Management
80 \item Environment
81 \item Group Communication
82 \item Locking
83 \item Memory Allocation
84 \item Namin
[all...]
/barrelfish-2018-10-04/lib/openssl-1.0.0d/util/
H A Dpod2man.pl45 =item center
51 =item date
56 =item fixed
60 =item official
65 =item release
70 =item section
80 =item lax
98 =item NAME
105 =item SYNOPSIS
110 =item DESCRIPTIO
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Dfd.h98 #define Check_Meta(item) \
99 if (!IsMeta(item)) { \
100 Error_If_Ref(item); \
/barrelfish-2018-10-04/doc/000-overview/
H A DOverview.tex119 \item Scheduling of different user-space \textit{dispatchers} on the
121 \item Core-local communication of short messages between dispatchers
124 \item Secure access to the core hardware, MMU, APIC, etc.
125 \item Local access control to kernel objects and physical memory by
140 \item A simple round-robin scheduler. This is primarily used for
142 \item A rate-based scheduler implementing a version of the RBED
227 \item User-level thread scheduling, based on the upcall model of the
229 \item Physical memory management by communication with the memory
231 \item Capability management (maintaining the domain's cspace),
233 \item Constructio
[all...]
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ssl/
H A Dd1_pkt.c186 dtls1_copy_record(SSL *s, pitem *item) argument
190 rdata = (DTLS1_RECORD_DATA *)item->data;
211 pitem *item; local
218 item = pitem_new(priority, rdata);
219 if (rdata == NULL || item == NULL)
222 if (item != NULL) pitem_free(item);
233 item->data = rdata;
236 if (pqueue_insert(queue->q, item) == NULL)
239 pitem_free(item);
263 pitem *item; local
294 pitem *item; local
765 pitem *item; local
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/
H A Dintro-sec.tex53 \item Efficient retrieval of knowledge for any size of
55 \item Deductive rules can be stored in the
57 \item Complex structures and lists are valid data types
59 \item Database transparency. When making a query the user
62 \item The database can be queried with either set-oriented
66 \item A full multi-user environment is provided (e.g.\
68 \item Full database recovery procedures are included.
69 \item Full garbage collection.
89 \item{database\_kernel}
97 \item{d
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Decoptions.tex32 \item[Installation directory]\ \\
41 \item[Stack Memory Allocation]\ \\
54 \item[Heap Memory Allocation]\ \\
67 \item[Panic Function]\ \\
79 \item[Startup Arguments]\ \\
93 \item[Default Module]\ \\
102 \item[I/O Initialisation]\ \\
117 \item[Parallel system parameters]\ \\
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Druntime.tex32 \item integers (on the implementation level we distinguish small integers\index{integers}
34 \item floats (double\index{double} precisions, older versions supported single and double)
35 \item rationals\index{rationals}
36 \item bounded reals\index{bounded reals} (reals represented by an enclosing interval)
69 \item[breal/1] type test
70 \item[breal/2] conversion to breal
71 \item[breal_min/2, breal_max/2, breal_bounds/3] get the bounds
72 \item[breal_from_bounds/3] construct from float bounds
100 \item Syntactic comparison (identity, unification, term order): here
108 \item Fo
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dsetsolver.tex39 interested in each item as a specific individual, but in a
40 collection of item where no specific distinction is made and thus
84 \item[\biptxtrefni{?Set :: ++Lwb..++Upb}{::/2!ic_sets}{../bips/lib/ic_sets/NN-2.html}]
86 \item[\biptxtref{intset(?Set, +Min, +Max)}{intset/3}{../bips/lib/ic_sets/intset-3.html}]
88 \item[\biptxtref{intsets(?Sets, ?N, +Min, +Max)}{intsets/4}{../bips/lib/ic_sets/intsets-4.html}]
102 \item the lower bound of the set (values which definitely are in the set)
103 \item the union symbol \verb.\/.
104 \item the set of optional values (which may or may not be in the set)
105 \item a colon
106 \item
[all...]
/barrelfish-2018-10-04/tools/demo/Aquarium/
H A DEvents.cs151 protected override void InsertItem(int index, TemporalTraceEvent item) argument
153 base.InsertItem(index, item);
163 protected override void SetItem(int index, TemporalTraceEvent item) argument
165 base.SetItem(index, item);

Completed in 201 milliseconds

12345678