Lines Matching refs:MR_predicate_context_completed
499 int MR_predicate_context_completed(Predicate *p) 501 int MR_predicate_context_completed(p) 511 return MR_predicate_context_completed(p->down) & 512 MR_predicate_context_completed(p->right);