Searched refs:check_intersection_containedness (Results 1 – 3 of 3) sorted by relevance
144 check_intersection_containedness(set_a, set_c); in interval_set_check_containedness_4_bicremental_types()145 check_intersection_containedness(set_b, segm_d); in interval_set_check_containedness_4_bicremental_types()146 check_intersection_containedness(set_c, elem_e); in interval_set_check_containedness_4_bicremental_types()
298 check_intersection_containedness(map_a, map_c); in icl_quantifier_check_containedness_4_bicremental_types()299 check_intersection_containedness(map_c, map_pair_a); in icl_quantifier_check_containedness_4_bicremental_types()
234 void check_intersection_containedness(const Type& a, const TypeB& b) in check_intersection_containedness() function