/barrelfish-2018-10-04/usr/eclipseclp/Opium/ |
H A D | pce_new.pl | 61 normal chracter then the inserted quotes have to be doubled as it is
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | ecoptions.tex | 60 ignored as the heaps grow as required.
|
H A D | embjava.tex | 106 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 D | backwards-sec.tex | 58 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 D | sparccpuid.S | 45 ! 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 D | crypto-lib.com | 18 $! 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 D | xml.pl | 11 * 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 D | arrays.pl | 17 % {1,2,3} is shown initially as
|
H A D | distfix.pl | 31 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 D | development_support.pl | 69 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 D | numbervars.pl | 61 used again as variables when needed.
|
H A D | par_util.pl | 49 % 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 D | varlists.pl | 64 % L3 is the intersection of L1 and L2, with arguments ordered as in L1
|
/barrelfish-2018-10-04/doc/018-Practical-guide/ |
H A D | helloWorldApp.tex | 58 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 D | ieeefp.h | 49 #error this file needs sys/cdefs.h as a prerequisite
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | ic_probe.pl | 119 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 D | probe.pl | 118 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 D | frequency.pl | 49 % 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 D | eprolog.tex | 36 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 D | x86asm.pl | 146 $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 D | mingw32.bat | 1 @rem OpenSSL with Mingw32+GNU as
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | builtins.tex | 43 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 D | runtime.tex | 47 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 D | icsymbolic.tex | 85 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 D | extmeta.tex | 35 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...] |