Searched refs:get_limiting_octagon (Results 1 – 4 of 4) sorted by relevance
2115 void get_limiting_octagon(const Constraint_System& cs,
3885 ::get_limiting_octagon(const Constraint_System& cs, in get_limiting_octagon() function in Parma_Polyhedra_Library::Octagonal_Shape4012 get_limiting_octagon(cs, limiting_octagon); in limited_CC76_extrapolation_assign()4123 get_limiting_octagon(cs, limiting_octagon); in limited_BHMZ05_extrapolation_assign()
69388 void get_limiting_octagon(const Constraint_System& cs,74939 ::get_limiting_octagon(const Constraint_System& cs,75066 get_limiting_octagon(cs, limiting_octagon);75177 get_limiting_octagon(cs, limiting_octagon);
43060 readability of Octagonal_Shape<T>::get_limiting_octagon().43276 in Octagonal_Shape<T>::get_limiting_octagon().