Home
last modified time | relevance | path

Searched refs:FunctorComma (Results 1 – 11 of 11) sorted by relevance

/dports/lang/yap/yap-6.2.2/library/tries/
H A Dcore_tries.c56 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 Dratoms.h336 FunctorComma = FuncAdjust(FunctorComma);
H A Diatoms.h336 FunctorComma = Yap_MkFunctor(AtomComma,2);
H A Dtatoms.h668 #define FunctorComma Yap_heap_regs->FunctorComma_ macro
/dports/lang/yap/yap-6.2.2/C/
H A Dcomputils.c208 } else if (f == FunctorComma) { in is_a_test()
H A Dparser.c662 t = Yap_MkApplTerm(FunctorComma, 2, args); in ParseTerm()
H A Dcompiler.c1358 if (f == FunctorComma || f == FunctorOr || f == FunctorVBar || f == FunctorArrow) { in IsTrueGoal()
1714 else if (f == FunctorComma) {
2047 && FunctorOfTerm(Body) == FunctorComma) {
H A Damasm.c3966 RepPredProp(PredPropByFunc(FunctorComma,0)); in Yap_InitComma()
3997 RepPredProp(PredPropByFunc(FunctorComma,0)); in Yap_InitComma()
H A Dcdmgr.c3931 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 Dabsmi.c13925 } else if (f == FunctorComma) {
14130 } else if (f == FunctorComma) {
14324 if (pen->FunctorOfPred == FunctorComma) {
/dports/lang/yap/yap-6.2.2/OPTYap/
H A Dtab.tries.c906 } else if (f == FunctorComma) {