Searched refs:ec_handle (Results 1 - 16 of 16) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Deg_c_handle.c57 ec_handle(&ec_xt_double_arr, my_array),
H A Dhandle.c128 ec_handle(const t_ext_type *class, const t_ext_ptr data) function
H A Dbip_record.c304 rec = ec_handle(&heap_rec_header_tid, (t_ext_ptr) _rec_create());
467 ref_pw = ec_handle(&heap_rec_tid, (t_ext_ptr) obj);
497 ref_pw = ec_handle(&heap_rec_tid, (t_ext_ptr) obj);
653 *car = ec_handle(&heap_rec_tid, (t_ext_ptr) _rec_copy_elem(obj));
767 ref_pw = ec_handle(&heap_rec_tid, (t_ext_ptr) obj);
806 ref_pw = ec_handle(&heap_rec_tid, (t_ext_ptr) obj);
H A Dbip_shelf.c180 bag = ec_handle(&heap_array_tid, (t_ext_ptr) obj);
211 bag = ec_handle(&heap_array_tid, (t_ext_ptr) obj);
H A Dbip_bag.c173 bag = ec_handle(&heap_bag_tid, (t_ext_ptr) obj);
H A Dbip_heapevents.c185 hevent = ec_handle(&heap_event_tid, (t_ext_ptr) event);
H A Dec_io.h80 ( ++StreamNref(nst), ec_handle(&stream_tid, (t_ext_ptr) nst))
H A Declipse_cc.cc591 return ec_handle(cl, data);
H A Dembed.h139 Extern DLLEXP pword Winapi ec_handle ARGS((const t_ext_type*,const t_ext_ptr));
H A Dbip_store.c211 htable = ec_handle(&heap_htable_tid, (t_ext_ptr) htable_new(0));
H A Dbip_io.c1115 pword hstream = ec_handle(&stream_tid, (t_ext_ptr) nst);
1686 result = ec_handle(&heap_event_tid,
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Deregex.c125 return ec_unify(ec_arg(3), ec_handle(&ec_xt_regex, preg));
H A Dedge_finder.c183 return ec_unify_arg(4, ec_handle(&ef_desc, (t_ext_ptr)ef));
/barrelfish-master/usr/eclipseclp/Oci/
H A Ddbi.c291 *cursor_handle = ec_handle(&cursor_handle_tid, cursor);
351 p_session = ec_handle(&session_handle_tid, session);
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembsumc.tex93 \item[pword ec_handle(const t_ext_type*,const t_ext_ptr)]\ \\
/barrelfish-master/usr/eclipseclp/Eplex/
H A Deplex.c1068 vhandle.ptr[HANDLE_CPH] = ec_handle(&lp_handle_tid, lpd);
4381 vhandle.ptr[HANDLE_CPH] = ec_handle(&lp_handle_tid, lpd);

Completed in 81 milliseconds