/dports/lang/swi-pl/swipl-8.2.3/src/ |
H A D | pl-dict.c | 152 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 D | pl-copyterm.c | 118 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 D | pl-data.h | 248 #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 D | pl-variant.c | 229 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 D | pl-termwalk.c | 212 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 D | pl-btree.c | 79 arity = arityFunctor(fd);
|
H A D | pl-termhash.c | 141 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 D | pl-pro.c | 378 { int arity = arityFunctor(fd); in callProlog() 582 arity = arityFunctor(f->definition); in unmark_data() 758 arity = arityFunctor(f->definition); in check_data()
|
H A D | pl-prims.c | 348 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 D | pl-fli.c | 489 { 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 D | pl-wrap.c | 231 size_t arity = arityFunctor(fd->definition); in unify_wrapped()
|
H A D | pl-rec.c | 600 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 D | pl-cont.c | 440 arityFunctor(f->definition) != cref->value.clause->variables + 2 ) in push_continuation()
|
H A D | pl-funct.c | 120 DEBUG(CHK_SECURE, assert(fd->arity == arityFunctor(fd->functor))); in registerFunctor()
|
H A D | pl-trie.c | 739 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 D | pl-wic.c | 894 { 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 D | pl-comp.c | 2429 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 D | pl-index.c | 273 argc = arityFunctor(at->definition); in nextClauseFromBucket() 678 freeHeap(cl->args, arityFunctor(cref->d.key)*sizeof(*cl->args)); in freeClauseListRef()
|
H A D | pl-vmi.c | 678 { size_t arity = arityFunctor(f); 1396 size_t arity = arityFunctor(f); 5478 { size_t arity = arityFunctor(f);
|
H A D | pl-arith.c | 976 size_t arity = arityFunctor(term->definition); in valueExpression() 1054 arityFunctor(functor))); in valueExpression() 1057 { size_t arity = arityFunctor(functor); in valueExpression()
|
H A D | pl-tabling.c | 2536 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 D | pl-yap.h | 85 #define arityFunctor(f) YAP_PLArityOfSWIFunctor(f) macro
|
H A D | pl-yap.c | 118 { int arity = arityFunctor(fd); in callProlog()
|
H A D | pl-file.c | 3460 switch(arityFunctor(f)) 3535 switch(arityFunctor(pe->p->functor))
|
/dports/lang/swi-pl/swipl-8.2.3/src/os/ |
H A D | pl-file.c | 4750 { switch(arityFunctor(p->functor)) 4783 switch(arityFunctor(p->functor)) in unify_stream_property_list() 4838 switch(arityFunctor(p->functor)) in unify_stream_property()
|