Searched defs:is_injective (Results 1 – 1 of 1) sorted by relevance
8477 boolean basic_map::is_injective() const in is_injective() function11310 boolean map::is_injective() const in is_injective() function20713 boolean union_map::is_injective() const in is_injective() function