Searched refs:covered_set (Results 1 – 3 of 3) sorted by relevance
703 covered_set( Predicate *p ) in covered_set() function705 covered_set( p ) in covered_set()716 set_orin(&a, covered_set(p->down));720 set_orin(&a, covered_set(p->down));
442 extern set covered_set(Predicate *);723 extern set covered_set();
640 non_covered = set_dif(delta, covered_set(alt1->predicate));654 non_covered = set_dif(delta, covered_set(alt2->predicate));