Searched refs:FunctorStaticClause (Results 1 – 6 of 6) sorted by relevance
411 FunctorStaticClause = FuncAdjust(FunctorStaticClause);
291 return Yap_MkApplTerm(FunctorStaticClause,1,t); in Yap_MkStaticRefTerm()
411 FunctorStaticClause = Yap_MkFunctor(AtomStaticClause,1);
818 #define FunctorStaticClause Yap_heap_regs->FunctorStaticClause_ macro
4409 if (FunctorOfTerm(t1) == FunctorStaticClause) { in p_erase_clause()4598 if (FunctorOfTerm(t1) == FunctorStaticClause) { in p_instance()
3972 } else if (IsApplTerm(t) && FunctorOfTerm(t) == FunctorStaticClause) { in p_pred_for_code()