Searched refs:relation_intersect (Results 1 – 4 of 4) sorted by relevance
118 relation_intersect (relation_kind r1, relation_kind r2) in relation_intersect() function650 related = relation_intersect (kind (), p.kind ()); in intersect()652 related = relation_intersect (kind (), relation_swap (p.kind ())); in intersect()973 k = relation_intersect (curr, k); in set_one_relation()1393 k = relation_intersect (curr, k); in register_relation()
71 relation_kind relation_intersect (relation_kind r1, relation_kind r2);
1415 if (is_and && relation_intersect (relation1, relation2) == VREL_EMPTY) in relation_fold_and_or()
509 if (relation_intersect (rel, my_rel) == VREL_EMPTY) in relop_early_resolve()