/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | asm.pl | 101 % Unmentioned tag types are assumed to have ref(fail) as labels 104 % must be ordered. Range tables has the same form as an integer 134 summary:"Assemble the WAM instructions WAMCode into ECLiPSe as predicate PredSpec. 139 as the predicate PredSpec. The WAM code is in the form of a list, with 141 is the same as that generated by disasm/2,3. Thus the predicate can be 159 summary:"Assemble the WAM instructions WAMCode into ECLiPSe in module Module as 165 in an existing module Module as the predicate PredSpec. The WAM code is 167 instruction. The format of the WAMCode is the same as that generated by 197 as that used by asm/2,3 and pasm/4 to assemble a predicate. Thus, the 236 the same as tha [all...] |
H A D | ptags.pl | 72 The tags file created by the ptags/1, 2 predicates can be used as 73 a tags file for vi or ex. A procedures specified as Name/Arity
|
H A D | dfid.pl | 66 * The depth is defined as the number of ancestors which are not facts
|
H A D | foreign.pl | 49 external calls like in the above systems. Use it as follows: 80 as a user type: 89 source of the interface file. The arguments are as follows: 104 looks as follows:
|
H A D | cio.pl | 84 % be done in Sicstus as well. E.g. see/1 and tell/1 can be called
|
H A D | cprolog.pl | 55 C-Prolog dialect, often referred to as Edinburgh Prolog. Therefore, 119 strings are parsed as lists of integers. This can cause 128 declared as dynamic using dynamic/1. The notation [-File] for
|
H A D | lists.pl | 116 % L3 is the intersection of L1 and L2, with arguments ordered as in L1 288 args:["Collection":"A term to be interpreted as a collection", 311 look like list or array will be interpreted as such (including []). 384 Ys=Ys0. % interpret as empty collection 408 args:["Collection":"A term to be interpreted as a collection", 428 look like list or array will be interpreted as such (including []). 488 Yz = []. % interpret as empty collection 1013 summary:"Succeeds if FlatList is the list of all elements in NestedList, as found in\na left-to-right, depth-first traversal of NestedList.\n\n", 1113 summary:"Succeeds if List is the list which contains all elements from SubList in\nthe same order as in SubList.\n\n", 1135 fail_if:" Fails if SubList does not unify with a list whose elements are all\n contained in List in the same order as i [all...] |
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ |
H A D | makevms.com | 24 $! BUILDALL Same as ALL, except CONFIG, BUILDINF and SOFTILNKS aren't done. 35 $! For 64 bit architectures (Alpha and IA64), specify the pointer size as P2. 43 $! Specify DEBUG or NODEBUG as P3 to compile with or without debugging 46 $! Specify which compiler as P4 to try to compile under. 601 $! Delete [.CRYPTO]BUILDINF.H File, as there might be some residue from Unix. 945 $ WRITE SYS$OUTPUT " BUILDALL : Same as ALL, except CONFIG, BUILDINF and SOFTILNKS aren't done."
|
/barrelfish-2018-10-04/lib/libc/nameser/ |
H A D | ns_name.c | 89 * Convert an encoded domain name to printable ascii as per RFC1035. 95 *\li The root is returned as "." 191 * Convert a ascii string into an encoded domain name as per RFC1035. 209 * Convert a ascii string into an encoded domain name as per RFC1035. 512 * the message as we compress the name. If 'dnptr' is NULL, we don't 615 *\li Root domain returns as "." not "". 642 * pointers for labels inserted into the message as we compress the name. 745 ns_name_eq(ns_nname_ct a, size_t as, ns_nname_ct b, size_t bs) { argument 746 ns_nname_ct ae = a + as, be = b + bs;
|
/barrelfish-2018-10-04/usr/eclipseclp/Opium/ |
H A D | loadopium.pl | 39 /* to initialize module opium_kernel (not quite the same as opium_module.pl) */
|
/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 65 set as their value. They are characterized by a lower bound (the set 68 declared as follows: 72 %If the lower bound is the empty set (like in this case) this can be written as
|
H A D | tutorial.tex | 250 % <sect1> Cut as early as possible
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umserrors.tex | 203 erroneous goal and the caller module but defined as follows: 210 to an atom, this name is used as the toplevel module name 433 %If it can find out the line number, it is printed as well. 518 %\bipref{setval/2}{../bips/kernel/storage/setval-2.html} with an atom as
|
/barrelfish-2018-10-04/usr/acpi/ |
H A D | acpica_osglue.c | 220 ACPI_STATUS as = AcpiFindRootPointer(&physaddr); local 221 if (as == AE_OK) { 820 // Destroy memobj without destroying caps, as we've passed 1137 * Context - Passed as a parameter to the function
|
H A D | intel_vtd.c | 139 // We will have to change this as it is possible for multiple hardware 813 ACPI_STATUS as; local 816 as = vtd_parse_dmar_table(); 817 if (ACPI_FAILURE(as)) {
|
/barrelfish-2018-10-04/tools/fof/ |
H A D | FutureWork.tex | 15 might be completely useless now. Similarly, imports such as
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/project/ |
H A D | organisation.tex | 33 versions, as well as installations of support software
|
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | xml_utilities.pl | 10 * This program is offered free of charge, as unsupported source code. You may
160 * format, otherwise it is written as a list.
355 "ni"-[8715], % contains as member, U+220B ISOtech
504 /* chars( ?Chars, ?Plus, ?Minus ) used as chars( ?Chars ) in a DCG to
|
/barrelfish-2018-10-04/doc/015-disk-driver-arch/ |
H A D | blockdevfs.tex | 20 is used as an index into the \lstinline+backends+ array holding function 46 \lstinline+backend_handle+ freely. This handle will be passed as an argument to
|
/barrelfish-2018-10-04/doc/016-serial-ports/ |
H A D | Serial.tex | 62 status messages during startup, and connecting a debugger such as GDB 109 This returns the same errors as \texttt{serial\_init()}, but it is a
|
/barrelfish-2018-10-04/usr/skb/programs/ |
H A D | device_db.pl | 199 % TODO: binary name-intmodel is used as an identifier. Thus, multiple entries with the same
|
H A D | bridge_page.pl | 77 %if IOAPIC appears as BAR, do not add this region to the "avoid" regions 399 % on some machines (sbrinz1) one of the two IOAPICs appears as a BAR 401 % we want to avoid moving this BAR as otherwise the IOAPIC cannot be reached
|
/barrelfish-2018-10-04/lib/cpuid/ |
H A D | cpuid_intel.c | 720 cpuid_intel_addrspace_t as = (cpuid_intel_addrspace_t)®.eax; local 722 ai->physical = cpuid_intel_addrspace_physical_extract(as); 723 ai->virtual = cpuid_intel_addrspace_linear_extract(as);
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | ic_probe_search.pl | 267 the given task so as to reduce the number of overlapping tasks. 273 overlap, as long as the start time of task1 does not overlap
|
H A D | probe_search.pl | 268 the given task so as to reduce the number of overlapping tasks. 274 overlap, as long as the start time of task1 does not overlap
|