Searched refs:FunctorComma (Results 1 – 11 of 11) sorted by relevance
/dports/lang/yap/yap-6.2.2/library/tries/ |
H A D | core_tries.c | 56 static YAP_Functor FunctorComma; variable 259 FunctorComma = YAP_MkFunctor(YAP_LookupAtom(","), 2); in core_trie_init_module() 656 if (f == FunctorComma) { in put_entry() 661 } while (YAP_IsApplTerm(t) && YAP_FunctorOfTerm(t) == FunctorComma); in put_entry() 756 if (f == FunctorComma) { in check_entry() 763 } while (YAP_IsApplTerm(t) && YAP_FunctorOfTerm(t) == FunctorComma); in check_entry() 859 t = YAP_MkApplTerm(FunctorComma, 2, stack_aux); in get_entry()
|
/dports/lang/yap/yap-6.2.2/H/ |
H A D | ratoms.h | 336 FunctorComma = FuncAdjust(FunctorComma);
|
H A D | iatoms.h | 336 FunctorComma = Yap_MkFunctor(AtomComma,2);
|
H A D | tatoms.h | 668 #define FunctorComma Yap_heap_regs->FunctorComma_ macro
|
/dports/lang/yap/yap-6.2.2/C/ |
H A D | computils.c | 208 } else if (f == FunctorComma) { in is_a_test()
|
H A D | parser.c | 662 t = Yap_MkApplTerm(FunctorComma, 2, args); in ParseTerm()
|
H A D | compiler.c | 1358 if (f == FunctorComma || f == FunctorOr || f == FunctorVBar || f == FunctorArrow) { in IsTrueGoal() 1714 else if (f == FunctorComma) { 2047 && FunctorOfTerm(Body) == FunctorComma) {
|
H A D | amasm.c | 3966 RepPredProp(PredPropByFunc(FunctorComma,0)); in Yap_InitComma() 3997 RepPredProp(PredPropByFunc(FunctorComma,0)); in Yap_InitComma()
|
H A D | cdmgr.c | 3931 pp = RepPredProp(Yap_GetPredPropByFunc(FunctorComma,CurrentModule)); in ClauseInfoForCode() 5208 …orm_profiler_of_clause(COMMA_CODE, FAILCODE, RepPredProp(Yap_GetPredPropByFunc(FunctorComma,0)),0); in Yap_dump_code_area_for_profiler()
|
H A D | absmi.c | 13925 } else if (f == FunctorComma) { 14130 } else if (f == FunctorComma) { 14324 if (pen->FunctorOfPred == FunctorComma) {
|
/dports/lang/yap/yap-6.2.2/OPTYap/ |
H A D | tab.tries.c | 906 } else if (f == FunctorComma) {
|