Searched refs:is_injective (Results 1 – 5 of 5) sorted by relevance
577 assert(!Result.is_injective().is_false()); in computePerPHI()
1500 inline boolean is_injective() const;2790 inline boolean is_injective() const;6382 boolean map::is_injective() const in is_injective() function11458 boolean union_map::is_injective() const in is_injective() function
1333 inline boolean is_injective() const;3120 inline boolean is_injective() const;8570 boolean map::is_injective() const in is_injective() function16738 boolean union_map::is_injective() const in is_injective() function
1565 inline bool is_injective() const;2855 inline bool is_injective() const;7789 bool map::is_injective() const in is_injective() function16291 bool union_map::is_injective() const in is_injective() function
6725 def is_injective(arg0): member in union_map7671 def is_injective(arg0): member in map