Searched refs:verify_context (Results 1 – 1 of 1) sorted by relevance
512 verify_context(Predicate *predicate) in verify_context() function514 verify_context(predicate) in verify_context()523 verify_context(predicate->down);524 verify_context(predicate->right); /* MR10 */552 verify_context(predicate->right); /* MR10 */1018 verify_context(alt1->predicate);1019 verify_context(alt2->predicate);1110 verify_context(alt1->predicate);1111 verify_context(alt2->predicate);1221 verify_context(alt1->predicate);[all …]