Searched defs:is_injective (Results 1 – 3 of 3) sorted by relevance
8413 def is_injective(arg0): member in union_map9673 def is_injective(arg0): member in map
7972 boolean basic_map::is_injective() const in is_injective() function10211 boolean map::is_injective() const in is_injective() function18844 boolean union_map::is_injective() const in is_injective() function
9352 bool basic_map::is_injective() const in is_injective() function12770 bool map::is_injective() const in is_injective() function26851 bool union_map::is_injective() const in is_injective() function