Home
last modified time | relevance | path

Searched refs:arityFunctor (Results 1 – 25 of 26) sorted by relevance

12

/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-dict.c152 int arity = arityFunctor(data->definition); in dict_lookup_ptr()
244 int arity = arityFunctor(data->definition); in dict_order()
333 int arity = arityFunctor(data->definition); in put_dict()
419 int arity = arityFunctor(data->definition); in del_dict()
464 Word end1 = in1+arityFunctor(d1->definition); in partial_unify_dict()
465 Word end2 = in2+arityFunctor(d2->definition); in partial_unify_dict()
511 Word dend = din+arityFunctor(dd->definition); in select_dict()
512 Word fend = fin+arityFunctor(fd->definition); in select_dict()
627 } else if ( arityFunctor(f->definition) == 1 && in get_name_value()
1191 arity = arityFunctor(f->definition); in pl_get_dict()
[all …]
H A Dpl-copyterm.c118 int arity = arityFunctor(t->definition); in mark_for_duplicate()
190 int arity = arityFunctor(t->definition); in update_ground()
264 int arity = arityFunctor(t->definition); in mark_for_copy()
342 pushWorkAgenda(&agenda, arityFunctor(f->definition), f->arguments); in cp_unmark()
494 { int arity = arityFunctor(ff->definition); in copy_term()
511 { int arity = arityFunctor(ff->definition); in copy_term()
H A Dpl-data.h248 #define arityTerm(w) arityFunctor(valueTerm(w)->definition)
335 #define arityFunctor(w) (unlikely(_arityFunc_(w) == F_ARITY_MASK) \ macro
338 #define isAtomFunctor(w) (arityFunctor(w) == 0)
H A Dpl-variant.c229 if ( !push_args(a, lm, ln, arityFunctor(dm)) ) in isomorphic()
302 if ( !push_args(a, lm, ln, arityFunctor(dm)) ) in isomorphic()
410 if ( !push_args(agenda, lm, ln, arityFunctor(dm)) ) in variant()
H A Dpl-termwalk.c212 a->work.size = arityFunctor(term->definition); in ac_pushTermAgenda__LD()
495 a->work.arity = arityFunctor(left->definition); in initTermAgendaLRS()
539 a->work.arity = arityFunctor(left->definition); in pushWorkAgendaLRS()
H A Dpl-btree.c79 arity = arityFunctor(fd);
H A Dpl-termhash.c141 stringAtom(name), arityFunctor(work->functor), in start_term()
162 { if ( work->arg < arityFunctor(work->functor) ) in next_arg()
249 if ( seen->arg < arityFunctor(seen->functor) ) in termHashValue()
526 int arity = arityFunctor(f); in variant_sha1()
H A Dpl-pro.c378 { int arity = arityFunctor(fd); in callProlog()
582 arity = arityFunctor(f->definition); in unmark_data()
758 arity = arityFunctor(f->definition); in check_data()
H A Dpl-prims.c348 arity = arityFunctor(f1->definition); in do_unify()
570 int arity = arityFunctor(f->definition); in var_occurs_in()
908 size_t arity = arityFunctor(f->definition); in term_size()
1030 arity = arityFunctor(tail->definition); in ph_acyclic_mark()
1082 p = iter->arguments + arityFunctor(*pdef) - 1; in ph_acyclic_mark()
1251 { int arity = arityFunctor(f->definition); in scan_shared()
1284 arity = arityFunctor(f->definition); in unscan_shared()
1343 { int arity = arityFunctor(*v); in link_shared()
1360 arity = arityFunctor(fun); in link_shared()
1833 arity = arityFunctor(f1->definition); in do_compare()
[all …]
H A Dpl-fli.c489 { return arityFunctor(f); in PL_functor_arity_sz()
495 { size_t arity = arityFunctor(f); in PL_functor_arity()
1092 size_t arity = arityFunctor(fd); in PL_cons_functor()
1129 size_t arity = arityFunctor(fd); in PL_cons_functor_v()
1967 size_t arity = arityFunctor(f->definition); in PL_get_arg_sz()
2688 size_t arity = arityFunctor(f); in PL_put_functor()
2819 size_t arity = arityFunctor(f); in PL_unify_compound()
2857 size_t arity = arityFunctor(f); in PL_unify_functor__LD()
3291 index <= arityFunctor(functorTerm(w)) ) in PL_unify_arg_sz()
3561 arity = arityFunctor(ft); in PL_unify_termv__LD()
H A Dpl-wrap.c231 size_t arity = arityFunctor(fd->definition); in unify_wrapped()
H A Dpl-rec.c600 arity = arityFunctor(f->definition); in compile_term_to_heap()
619 arityFunctor(functor))); in compile_term_to_heap()
1472 arity = arityFunctor(fdef); in copy_record()
1724 arity = arityFunctor(fdef); in scanAtomsRecord()
H A Dpl-cont.c440 arityFunctor(f->definition) != cref->value.clause->variables + 2 ) in push_continuation()
H A Dpl-funct.c120 DEBUG(CHK_SECURE, assert(fd->arity == arityFunctor(fd->functor))); in registerFunctor()
H A Dpl-trie.c739 size_t arity = arityFunctor(f->definition); in trie_lookup_abstract()
1617 { size_t arity = arityFunctor(key); in unify_key()
1887 dstate->size = arityFunctor(f->definition); in get_key()
2668 size_t arity = arityFunctor(f->definition); in compile_trie_value()
H A Dpl-wic.c894 { int arity = arityFunctor(f); in do_load_qlf_term()
2355 int n, arity = arityFunctor(f); in do_save_qlf_term()
3467 arityFunctor(f))); in qlfStartModule()
H A Dpl-comp.c2429 ar = arityFunctor(fdef); in compileArgument()
3011 ar = arityFunctor(fdef); in compileArithArgument()
3135 { size_t ar = arityFunctor(functorTerm(*arg)); in skippedVar()
5431 { size_t arity = arityFunctor(f); in put_functor()
5461 size_t i, arity = arityFunctor(f); in build_term()
H A Dpl-index.c273 argc = arityFunctor(at->definition); in nextClauseFromBucket()
678 freeHeap(cl->args, arityFunctor(cref->d.key)*sizeof(*cl->args)); in freeClauseListRef()
H A Dpl-vmi.c678 { size_t arity = arityFunctor(f);
1396 size_t arity = arityFunctor(f);
5478 { size_t arity = arityFunctor(f);
H A Dpl-arith.c976 size_t arity = arityFunctor(term->definition); in valueExpression()
1054 arityFunctor(functor))); in valueExpression()
1057 { size_t arity = arityFunctor(functor); in valueExpression()
H A Dpl-tabling.c2536 size_t i, arity = arityFunctor(f->definition); in suspension_keys()
4236 arity = arityFunctor(f->definition);
/dports/lang/yap/yap-6.2.2/packages/PLStream/
H A Dpl-yap.h85 #define arityFunctor(f) YAP_PLArityOfSWIFunctor(f) macro
H A Dpl-yap.c118 { int arity = arityFunctor(fd); in callProlog()
H A Dpl-file.c3460 switch(arityFunctor(f))
3535 switch(arityFunctor(pe->p->functor))
/dports/lang/swi-pl/swipl-8.2.3/src/os/
H A Dpl-file.c4750 { switch(arityFunctor(p->functor))
4783 switch(arityFunctor(p->functor)) in unify_stream_property_list()
4838 switch(arityFunctor(p->functor)) in unify_stream_property()

12