Home
last modified time | relevance | path

Searched refs:PL_unify_pointer (Results 1 – 12 of 12) sorted by relevance

/dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/
H A Dswi.def51 PL_unify_pointer
H A Dswi.c1737 X_API int PL_unify_pointer(term_t t, void *ptr) in PL_unify_pointer() function
/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-ldpass.h109 #define PL_unify_pointer(t, p) PL_unify_pointer__LD(t, p PASS_LD) macro
H A Dpl-tabling.c3138 return PL_unify_pointer(t, wl); in unify_table_status()
3363 return PL_unify_pointer(A2, wl);
3371 return PL_unify_pointer(A2, wl);
4792 return PL_unify_pointer(A1, LD->tabling.component);
4809 !PL_unify_pointer(head, p[i]) ) in unify_wl_set()
4828 !PL_unify_pointer(head, *c) ) in unify_scc_set()
4841 return PL_unify_pointer(t, ptr); in unify_pointer_or_nil()
4945 return ( PL_unify_pointer(av+0, wl->component) &&
5179 return PL_unify_pointer(t, answer); in unify_delay_info_dl()
H A Dpl-fli.c1042 return PL_unify_pointer(p, address); in PL_cvt_o_address()
3235 #undef PL_unify_pointer
3237 PL_unify_pointer(term_t t, void *ptr) in PL_unify_pointer() function
3242 #define PL_unify_pointer(t, ptr) PL_unify_pointer__LD(t, ptr PASS_LD) macro
3447 rval = PL_unify_pointer(t, va_arg(args, void *)); in PL_unify_termv__LD()
H A Dpl-prof.c471 return PL_unify_pointer(t, n->handle); in unify_node_id()
H A Dpl-trie.c1469 PL_unify_pointer(A4, node) );
2311 return PL_unify_pointer(t, answer); in unify_node_id()
H A DSWI-Prolog.h590 PL_EXPORT(int) PL_unify_pointer(term_t t, void *ptr) WUNUSED;
/dports/lang/yap/yap-6.2.2/include/
H A DSWI-Prolog.h419 extern X_API int PL_unify_pointer(term_t, void *);
/dports/lang/yap/yap-6.2.2/packages/jpl/src/c/
H A Djpl.c431 PL_unify_pointer((T),(void*)(J))
1664 && ( PL_unify_pointer(tbp,(void*)bp) in jni_alloc_buffer_plc()
/dports/lang/swi-pl/swipl-8.2.3/packages/jpl/src/main/c/
H A Djpl.c1692 && (PL_unify_pointer(tbp, (void *)bp) ? TRUE : (free(bp), FALSE)); in jni_alloc_buffer_plc()
/dports/lang/swi-pl/swipl-8.2.3/man/
H A Dforeign.doc1500 \cfunction{int}{PL_unify_pointer}{term_t ?t, void *ptr}
1633 Unify the argument with a pointer, as in PL_unify_pointer().
3534 simplest approach is to use PL_unify_pointer() and PL_get_pointer().