Searched refs:check_domain_containedness (Results 1 – 2 of 2) sorted by relevance
304 check_domain_containedness(map_a); in icl_quantifier_check_containedness_4_bicremental_types()
252 void check_domain_containedness(const MapT& a) in check_domain_containedness() function