Searched refs:as (Results 176 - 200 of 332) sorted by relevance

1234567891011>>

/barrelfish-2018-10-04/usr/eclipseclp/Opium/
H A Dpce_new.pl61 normal chracter then the inserted quotes have to be doubled as it is
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Decoptions.tex60 ignored as the heaps grow as required.
H A Dembjava.tex106 used as a library by the Java programs you will write. This package is
107 included as a {\tt .jar} file located within the {\eclipse} distribution at:
147 To test that everything is working as it should be, and to see a quick
156 After compilation, to run the program, start the Java interpreter as
207 Java-{\eclipse} interface. These are as follows:
254 \item Deconstructing the results of {\eclipse}'s computation, which are returned as a compound goal.
346 not as a {\it CompoundTermImpl} but as a {\it
349 can be sent to {\eclipse} as a compound term.
384 order of elements as the
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/
H A Dbackwards-sec.tex58 have the semantics as before.
101 possible a list is seen as {\bf ./2}. The compatibility module
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/
H A Dsparccpuid.S45 ! V9-compliant, as V9 returns a distinct value of 0x99,
52 ! we wipe it as memcpy might have used it...
183 ! as libc provides a stub, which is overloaded the moment you link
258 ! fmul8ulx16, which is emulated on T1 and as such accounts for quite
H A Dcrypto-lib.com18 $! Specify the following as P1 to build just that part or ALL to just
25 $! Specify DEBUG or NODEBUG as P2 to compile with or without debugger
50 $! For 64 bit architectures (Alpha and IA64), specify the pointer size as P7.
87 $! reflect the SDIRS variable in [-]Makefile.org as closely as possible,
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dxml.pl11 * This program is offered free of charge, as unsupported source code. You may
67 * : attributes when it's the same as the
83 * more flexible than output parsing. Errors in input are recorded as part
H A Darrays.pl17 % {1,2,3} is shown initially as
H A Ddistfix.pl31 where Priority is as usual, Type is currently only fx or fy (if
39 operator, but the code below does not check for that, as you could
49 declaring the head keyword as an infix operator; anything that did
54 distfixop(700, xfy, [X,is,to,Y,as,A,is,to,B], X*B =:= A*Y),
114 % right brackets of various sorts, as they're all we can be sure of.
121 % I want to experiment with having the operator information held as
123 % remain as interfaces to current_op.
290 % of result precedence Precedence forces it to be treated as an
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Ddevelopment_support.pl69 form of Term. Goal == Term if Term is to be treated as a goal
87 % provides a list of valid attribute specifications (as strings)
193 valid_output_option(0'_, "print all variables as _", [0'v,0'V]).
198 valid_output_option(0'C, "print as a clause (apply clause transformations)", []).
H A Dnumbervars.pl61 used again as variables when needed.
H A Dpar_util.pl49 % and &/2 is not exactly the same as the
74 exactly the same as maplist/3: It does not work backwards and it
H A Dvarlists.pl64 % L3 is the intersection of L1 and L2, with arguments ordered as in L1
/barrelfish-2018-10-04/doc/018-Practical-guide/
H A DhelloWorldApp.tex58 code as well as appropriate callbacks to the source file.
73 that will suffice for our requirements of sending single string as a message.
111 the Barrelfish. You don't need to worry about these files as build mechanism
162 will call \texttt{hello\_export} as we are providing \textit{Hello World}
233 printing out the string we received as part of the message.
328 and will be used as a callback function. The next step is to actually
436 Now, you can build your application and verify that binary is created as
/barrelfish-2018-10-04/include/arch/x86_64/machine/
H A Dieeefp.h49 #error this file needs sys/cdefs.h as a prerequisite
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/
H A Dic_probe.pl119 Constraints - A list of numeric equations and inequations, as above
124 They are added to the ic store as well - otherwise the cost
127 The method must be primal as the dual becomes infeasible when a new
210 whose optimal solution is assigned to the problem variables as tentative
H A Dprobe.pl118 Constraints - A list of numeric equations and inequations, as above
123 They are added to the fd store as well - otherwise the cost
126 The method must be primal as the dual becomes infeasible when a new
209 whose optimal solution is assigned to the problem variables as tentative
H A Dfrequency.pl49 % as many times is specified in Occurences
132 % appear in the variable list as well as the variables which
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Deprolog.tex36 Structures with the functor book/4 can then be written as
61 When the structure has been declared as above, we can write instead:
129 same as before, but Idx is set to the argument position of X in
135 same as before, but Idx is set to the index position of X in
143 same as before, but Increment can be specified (it defaults to 1).
148 same as before, but IncrementList can be specified (i.e.\ how
266 as a term. Shelves are referred to by a handle.
269 3. Data is stored in the slots (or the shelf as a whole) with
319 the results are as follows:
357 A fullstop is defined as
[all...]
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/perlasm/
H A Dx86asm.pl146 $stack+=16; # readjust esp as if we didn't pop anything
192 coff - GAS/COFF such as Win32 targets
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ms/
H A Dmingw32.bat1 @rem OpenSSL with Mingw32+GNU as
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dbuiltins.tex43 accessed via tag-index function tables, as described in section
177 character classes. Operators and macros are stored as functor
193 term order, a total order on all terms, including variables (as documented
H A Druntime.tex47 Similarly, when different types occur as arguments
60 as a pair of {\em floating point bounds}. While a float conceptually
98 too many standard Prolog assumptions, we handle things as follows:
102 equal breals are treated as equal. That this is conceptually
192 For all other purposes, a dident is stored directly as its address.
200 The dictionary is garbage collected. It is triggered as follows:
229 as DICT_CODE_REF and are never deallocated.
240 property, but they are all attached to the dictionary entry as a property
256 \item[Event Handler] The predicate that acts as event handler for the event
271 \item[Operator] The operator property as declare
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A Dicsymbolic.tex85 X is the same as Y
96 X is the same as Y, or before Y in the domain order
99 X is the same as Y, or after Y in the domain order
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dextmeta.tex35 In the literature, attributed variables are sometimes referred to as
152 will be the same as unifying \about{Var} with another attributed variable
241 or its particular attribute as argument.
249 treat this as binding of two plain variables
252 The library \libspec{suspend} can be used as a template
308 where the arguments are the same as for the unify handler.
317 and variance relationship, as performed by the built-ins
356 This means that if the attributed variable should be copied as
446 is the term which will be printed as a value for this attribute,
508 If there is only one handled attribute, the attributed variable is printed as
[all...]

Completed in 114 milliseconds

1234567891011>>