Searched refs:Yap_EraseMegaClause (Results 1 – 3 of 3) sorted by relevance
140 void STD_PROTO(Yap_EraseMegaClause,(yamop *,struct pred_entry *));
4414 Yap_EraseMegaClause(Yap_MegaClauseFromTerm(t1), Yap_MegaClausePredicateFromTerm(t1)); in p_erase_clause()
2296 Yap_EraseMegaClause(yamop *cl,PredEntry *ap) { in Yap_EraseMegaClause() function