Searched refs:check_union_containedness (Results 1 – 3 of 3) sorted by relevance
148 check_union_containedness(set_c, set_c); in interval_set_check_containedness_4_bicremental_types()149 check_union_containedness(set_b, segm_d); in interval_set_check_containedness_4_bicremental_types()150 check_union_containedness(set_a, elem_e); in interval_set_check_containedness_4_bicremental_types()
301 check_union_containedness(map_a, map_c); in icl_quantifier_check_containedness_4_bicremental_types()302 check_union_containedness(map_c, map_pair_a); in icl_quantifier_check_containedness_4_bicremental_types()
243 void check_union_containedness(const Type& a, const TypeB& b) in check_union_containedness() function