Home
last modified time | relevance | path

Searched refs:nameFunctor (Results 1 – 10 of 10) sorted by relevance

/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-dwim.c229 if ( dwimMatch(stringAtom(nameFunctor(fdef)), name) && in pl_dwim_predicate()
H A Dpl-data.h339 #define nameFunctor(w) (valueFunctor(w)->name) macro
H A Dpl-fli.c483 { return nameFunctor(f); in PL_functor_name()
1095 { setHandle(h, nameFunctor(fd)); in PL_cons_functor()
1132 { setHandle(h, nameFunctor(fd)); in PL_cons_functor_v()
2691 { setHandle(t, nameFunctor(f)); in PL_put_functor()
2874 { word name = nameFunctor(f); in PL_unify_functor__LD()
2891 { if ( *p == nameFunctor(f) ) in PL_unify_functor__LD()
H A Dpl-termhash.c135 name = nameFunctor(work->functor); in start_term()
H A Dpl-dict.c631 *name = nameFunctor(f->definition); in get_name_value()
H A Dpl-wic.c3466 stringAtom(nameFunctor(f)), in qlfStartModule()
H A Dpl-proc.c733 return PL_unify_atom(name, nameFunctor(f)); in pl_current_predicate()
H A Dpl-arith.c1053 stringAtom(nameFunctor(functor)), in valueExpression()
H A Dpl-gc.c895 stringAtom(nameFunctor(((Functor)next)->definition)), in mark_variable()
H A Dpl-comp.c5465 { *ARGP++ = nameFunctor(f); in build_term()