Searched refs:is_injective (Results 1 – 3 of 3) sorted by relevance
1510 inline boolean is_injective() const;2028 inline boolean is_injective() const;4008 inline boolean is_injective() const;7972 boolean basic_map::is_injective() const in is_injective() function7974 return isl::checked::map(*this).is_injective(); in is_injective()10211 boolean map::is_injective() const in is_injective() function18844 boolean union_map::is_injective() const in is_injective() function
1576 inline bool is_injective() const;2094 inline bool is_injective() const;4074 inline bool is_injective() const;9352 bool basic_map::is_injective() const in is_injective() function9356 return isl::map(*this).is_injective(); in is_injective()12770 bool map::is_injective() const in is_injective() function26851 bool union_map::is_injective() const in is_injective() function
8413 def is_injective(arg0): member in union_map9673 def is_injective(arg0): member in map