/barrelfish-2018-10-04/usr/eclipseclp/lib_tcl/widget/ |
H A D | progressbar.tcl | 23 ## 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 D | FutureWork.tex | 14 \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 D | umserrors.tex | 68 %\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 D | umssyntax.tex | 44 \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 D | umscalendar.tex | 49 \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 D | umscmdlineopts.tex | 37 \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 D | coreboot.tex | 128 \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 D | mp.tex | 83 \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 D | fdglobal.tex | 60 \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 D | gfd.tex | 153 \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 D | extfd.tex | 46 \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 D | ic.tex | 65 \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 D | vfs_cache.c | 80 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 D | nl_langinfo.c | 49 #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 D | cpudriver.tex | 76 \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 D | Services.tex | 75 \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 D | pod2man.pl | 45 =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 D | fd.h | 98 #define Check_Meta(item) \ 99 if (!IsMeta(item)) { \ 100 Error_If_Ref(item); \
|
/barrelfish-2018-10-04/doc/000-overview/ |
H A D | Overview.tex | 119 \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 D | d1_pkt.c | 186 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 D | intro-sec.tex | 53 \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 D | ecoptions.tex | 32 \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 D | runtime.tex | 32 \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 D | setsolver.tex | 39 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 D | Events.cs | 151 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);
|