Searched refs:adid (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | external.h | 47 * Get_Array_Address(adid, address) 48 * Get_Visible_Array_Address(adid, module,mod_tag,address) 49 * Get_Array_Header(adid, address) 50 * Get_Visible_Array_Header(adid, module, mod_tag,address) 106 #define Get_Array_Address(adid, address) \ 107 Get_Array_Header(adid, address) \ 108 if (DidArity(adid) != 0) \ 111 address = (pword *) ((uword *) address + 1 + DidArity(adid));\ 114 #define Get_Visible_Array_Address(adid, module, mod_tag, address) \ 115 Get_Visible_Array_Header(adid, modul [all...] |
H A D | bip_array.c | 119 pword *get_array_header(dident adid), 120 *get_kernel_array(dident adid), 121 *get_visible_array_header(dident adid, value vm, type tm, int *res); 283 get_kernel_array(dident adid) argument 287 if (DidArity(adid) != 1) 291 return get_modular_property(adid, ARRAY_PROP, 296 make_kernel_array(dident adid, int length, dident atype, dident avisib) argument 301 if (DidArity(adid) != 1) 311 buf[3].val.did = adid; /* must be arity 1 !!! */ 324 get_array_header(dident adid) argument 333 get_visible_array_header(dident adid, value vm, type tm, int *res) argument 364 dident adid; local [all...] |
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | umscmacros.tex | 479 {\tt \mbox{Get_Visible_Array_Address(adid, vmod,} tmod, address)} & 480 {\tt adid} is the DID of the array functor, {\tt address} must be 487 {\tt Get_Array_Address(adid, address)} & 491 {\tt \mbox{Get_Visible_Array_Header(adid, vmod, } tmod, address)} & 494 {\tt Get_Array_Header(adid, address)} &
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | umscmacros.tex | 489 %{\tt \mbox{Get_Visible_Array_Address(adid, vmod,} tmod, address)} & 490 %{\tt adid} is the DID of the array functor, {\tt address} must be 497 %{\tt Get_Array_Address(adid, address)} & 501 %{\tt \mbox{Get_Visible_Array_Header(adid, vmod, } tmod, address)} & 504 %{\tt Get_Array_Header(adid, address)} &
|
Completed in 107 milliseconds