Searched defs:U_FRESH (Results 1 - 6 of 6) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | bip_heapevents.c | 294 (void) built_in(in_dict("event_retrieve", 3), p_event_retrieve, B_UNSAFE|U_FRESH); local
|
H A D | bip_bag.c | 264 (void) built_in(in_dict("bag_retrieve", 2), p_bag_retrieve, B_UNSAFE|U_FRESH); local 265 (void) built_in(in_dict("bag_dissolve", 2), p_bag_dissolve, B_UNSAFE|U_FRESH); local
|
H A D | bip_shelf.c | 437 (void) built_in(in_dict("shelf_get_",4), p_shelf_get, B_UNSAFE|U_FRESH); local
|
H A D | bip_store.c | 882 (void) built_in(in_dict("store_get_",4), p_store_get, B_UNSAFE|U_FRESH); local 885 (void) built_in(in_dict("stored_keys_and_values_",3), p_stored_keys_and_values, B_UNSAFE|U_FRESH); local
|
H A D | bip_serialize.c | 1359 p_read_exdr, B_UNSAFE|U_FRESH); local 1363 p_bytes_to_term, B_UNSAFE|U_FRESH); local
|
H A D | dict.h | 341 #define U_FRESH 0x0000000c /* unify to a term with fresh variables */ macro
|
Completed in 96 milliseconds