Searched refs:as (Results 251 - 275 of 332) sorted by relevance

<<11121314

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dasm.pl101 % 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 Dptags.pl72 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 Ddfid.pl66 * The depth is defined as the number of ancestors which are not facts
H A Dforeign.pl49 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 Dcio.pl84 % be done in Sicstus as well. E.g. see/1 and tell/1 can be called
H A Dcprolog.pl55 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 Dlists.pl116 % 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 Dmakevms.com24 $! 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 Dns_name.c89 * 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 Dloadopium.pl39 /* to initialize module opium_kernel (not quite the same as opium_module.pl) */
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dsetsolver.tex39 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 Dtutorial.tex250 % <sect1> Cut as early as possible
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumserrors.tex203 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 Dacpica_osglue.c220 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 Dintel_vtd.c139 // 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 DFutureWork.tex15 might be completely useless now. Similarly, imports such as
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/project/
H A Dorganisation.tex33 versions, as well as installations of support software
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dxml_utilities.pl10 * 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 Dblockdevfs.tex20 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 DSerial.tex62 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 Ddevice_db.pl199 % TODO: binary name-intmodel is used as an identifier. Thus, multiple entries with the same
H A Dbridge_page.pl77 %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 Dcpuid_intel.c720 cpuid_intel_addrspace_t as = (cpuid_intel_addrspace_t)&reg.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 Dic_probe_search.pl267 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 Dprobe_search.pl268 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

Completed in 148 milliseconds

<<11121314