/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | tutorial.tex | 52 %% trick to stop latex2html from including the file 193 % <sect1> Entering Programs from the Terminal
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsstring.tex | 44 The system provides efficient builtins for converting from one data 81 At a first glance, an atom does not look too different from a string.
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | bags.pl | 31 A bag B is a function from a set dom(B) to the non-negative integers. 32 For the purposes of this module, a bag is constructed from two functions:
|
/barrelfish-master/doc/016-serial-ports/ |
H A D | Serial.tex | 15 % \date{Month Year} % Not needed - will be taken from version history 210 This document does not address accessing a single UART from more than
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | toolbox.pl | 328 % if j removed from the domain of V, remove i from the domain of Vals(j), redelay
|
H A D | grace.pl | 121 from sepia_kernel. 133 import add_attribute/3 from sepia_kernel. 139 from sepia_kernel
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | propia.pl | 276 % msg is constructed from the previous msg and the new solution. 298 % previous msg OldVars is extracted from GlobCar and a new msg constructed 299 % from Vars and OldVars. GlobVar is now set to this new msg. If the 306 % msg from GlobVar and instantiates NewVars.
|
H A D | chr.pl | 505 (import Handler from Module154), 526 (import Handler from Module273), 625 :- (import subcall/3 from sepia_kernel), set_flag(subcall/3, leash, notrace).
|
H A D | conjunto.pl | 73 defined from the union of the domains or known sets appearing in Lsets. 196 summary:"Var is an element of type e(Val,Weight) from a weighted domain. Wvar is a 296 fail_if:" Fails if List is not ground or if Svar is ground and different from the\n computed set.\n\n", 343 domain which belongs to the set resulting from the difference of the 383 args:["+Flag" : "A ground value from fglb, lubg.", "?Svar" : "A set domain variable.", "+Var" : "A ground set."], 385 fail_if:" Fails if Svar is ground and different from Var or if the new upper bound\n is not contained in the old one or the new lower bound does not contain\n the old one.\n\n", 421 set of elements chosen from the smallest one to the biggest one. If 532 fail_if:" Fails if Svar is not ground or if List is ground and different from the\n computed list.\n\n",
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | not_equals.pl | 70 from sepia_kernel.
|
/barrelfish-master/usr/monitor/ |
H A D | multihop_support.c | 31 * information from the System Knowledge Base (SKB). 48 // (this is a kludge used while receiving entries from the rts program) 51 // hack for synchronisation when requesting routing table from another monitor 99 // start to receive a new routing table from the RTS 118 // receive a part of the routing table from RTS (routing table set-up dispatcher) 120 coreid_t from, const coreid_t *to, 126 assert(from <= routing_table_max_coreid); 127 assert(routing_table[from] == NULL); 129 routing_table[from] = memdup(to, len * sizeof(coreid_t)); 134 " routing table (from RT 119 multihop_routing_table_set(struct monitor_binding *b, coreid_t from, const coreid_t *to, size_t len) argument [all...] |
/barrelfish-master/usr/skb/programs/ |
H A D | bridge_postorder.pl | 34 % main goal to be called from outside 159 % create the PCI(e) device tree from a list of "buselement" and return it in Tree
|
H A D | bridge_fake_bigfish.pl | 11 % from running Barrelfish input to ECLiPSe on Linux and dumping the 48 % main goal to be called from outside 205 % create the PCI(e) device tree from a list of "buselement" and return it in Tree
|
H A D | bridge_page.pl | 70 % main goal to be called from outside 90 % exclude fixed memory from being allocated to devices 103 % exclude fixed memory from being allocated to devices 118 % exclude IOAPIC regions from being allocated to devices 569 % create the PCI(e) device tree from a list of "buselement" and return it in Tree
|
/barrelfish-master/usr/eclipseclp/Oci/ |
H A D | dbi.c | 44 * taken from oci.c 47 * Author: Kish Shen, Generalised and updated from original OCI code, 774 if (t->to == t->from) 777 if (res = template_put(t->from , t, cursor->sql_type, cursor->tuple_buffer, cursor->tuple_datalengths, &p_tuple)) 782 t->from++;
|
/barrelfish-master/lib/openssl-1.0.0d/ssl/ |
H A D | s2_clnt.c | 35 * The word 'cryptographic' can be left out if the rouines from the library 37 * 4. If you include any Windows specific code (or a derivative thereof) from 79 * endorse or promote products derived from this software without 83 * 5. Products derived from this software may not be called "OpenSSL" 128 static int ssl_rsa_public_encrypt(SESS_CERT *sc, int len, unsigned char *from, 454 /* We have just received a list of ciphers back from the 1024 /* loads in the certificate from the server */ 1093 static int ssl_rsa_public_encrypt(SESS_CERT *sc, int len, unsigned char *from, argument 1112 i=RSA_public_encrypt(len,from,to,pkey->pkey.rsa,padding);
|
H A D | s2_srvr.c | 35 * The word 'cryptographic' can be left out if the rouines from the library 37 * 4. If you include any Windows specific code (or a derivative thereof) from 79 * endorse or promote products derived from this software without 83 * 5. Products derived from this software may not be called "OpenSSL" 128 static int ssl_rsa_private_decrypt(CERT *c, int len, unsigned char *from, 256 * flush it and remove buffering from 726 * or was retrieved from an external cache. 984 /* this is the one place where we can recover from an SSL 2.0 error */ 1112 static int ssl_rsa_private_decrypt(CERT *c, int len, unsigned char *from, argument 1131 i=RSA_private_decrypt(len,from,t [all...] |
/barrelfish-master/usr/eclipseclp/Eplex/ |
H A D | eplex_xpress.c | 416 * Get State Information from External Solver * 422 so always obtain solution information from lpcopy 460 /* bestbound may be different from objval because of tolerance */ 622 from a barrier solve. So we may arrive here if the 703 the MIP case (and basis was obtained already from the root LP) 731 cpx_delsos(lp_desc *lpd, int from, int to) argument 737 return XPRSdelsets(lpd->lp, to-from, &lpd->numbers[from]);
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | calendar.pl | 42 space travel etc. It is defined for a long period from 59 The code is valid for dates starting from 69 % numbering starting from (nonexistent) 1.3.0000. 135 summary:"Extracts the time in H:M:S form from a float MJD",
|
H A D | fd_domain.pl | 67 from sepia_kernel. 183 from fd_arith. 198 from sepia_kernel. 329 % Do the wakings that result from changing Attr's domain to NewDom 981 % Make a partial list of integers from M to N
|
H A D | megalog.pl | 35 ** It is intended that a user who moves his/her programs from 83 :- op(0, xfx, from). 495 /* This is copied completely from MegaLog into Sepia-MegaLog integration */ 682 MegaLog : number of timers from database system 1024 from shared memory is done in 'C' (see sepia/bip_control.c: p_exit() ).
|
H A D | quintus.pl | 78 arise from the different meaning of quotes in Eclipse vs Quintus-Prolog. 264 from cprolog. 268 from cprolog. 388 from sepia_kernel. 701 import_body((Pred from F), M),
|
H A D | kb.pl | 36 from "@(#)ecc.pl 1.23 12/20/91" 82 :- import import_body/2, is_predicate_/2 from sepia_kernel. 418 ** % relations from 'user' 420 ** % relations from a given File 653 ** that are variants look identical apart from variable renaming. Note that a 709 /* delete the result of a query from relation X */ 715 /* delete relation Rel from relation RX */ 724 /* delete the result of a query from relation RX */ 732 /* Delete clauses appearing in RRel from RX */ 1120 % from th [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | fd_min_max.pl | 83 from sepia_kernel. 184 Cost < Low % restart from repeat 423 branch_and_bound/8, % called from block
|
/barrelfish-master/usr/drivers/xeon_phi/ |
H A D | xphi_service.c | 522 uint64_t to, uint64_t from, uint64_t bytes) 531 XSERVICE_DEBUG("dma_memcpy_call_rx(%lx, %lx)\n", to, from); 544 err = xdma_memcpy(svc_st->phi, svc_st->dma_mem_mgr, to, from, bytes, msg_st); 661 XSERVICE_DEBUG("xphi_svc_connect_cb: new connection from domain.\n"); 521 dma_memcpy_call_rx(struct xeon_phi_binding *binding, uint64_t to, uint64_t from, uint64_t bytes) argument
|