Searched refs:limiting_octagon (Results 1 – 3 of 3) sorted by relevance
2116 Octagonal_Shape& limiting_octagon) const;
3886 Octagonal_Shape& limiting_octagon) const { in get_limiting_octagon()3920 OR_Matrix<N>& lo_mat = limiting_octagon.matrix; in get_limiting_octagon()3963 if (is_oct_changed && limiting_octagon.marked_strongly_closed()) { in get_limiting_octagon()3964 limiting_octagon.reset_strongly_closed(); in get_limiting_octagon()4011 Octagonal_Shape limiting_octagon(space_dim, UNIVERSE); in limited_CC76_extrapolation_assign() local4012 get_limiting_octagon(cs, limiting_octagon); in limited_CC76_extrapolation_assign()4014 intersection_assign(limiting_octagon); in limited_CC76_extrapolation_assign()4122 Octagonal_Shape limiting_octagon(space_dim, UNIVERSE); in limited_BHMZ05_extrapolation_assign() local4123 get_limiting_octagon(cs, limiting_octagon); in limited_BHMZ05_extrapolation_assign()4125 intersection_assign(limiting_octagon); in limited_BHMZ05_extrapolation_assign()
69385 Adds to \p limiting_octagon the octagonal differences in \p cs74940 Octagonal_Shape& limiting_octagon) const {74974 OR_Matrix<N>& lo_mat = limiting_octagon.matrix;75017 if (is_oct_changed && limiting_octagon.marked_strongly_closed()) {75018 limiting_octagon.reset_strongly_closed();75065 Octagonal_Shape limiting_octagon(space_dim, UNIVERSE);75066 get_limiting_octagon(cs, limiting_octagon);75068 intersection_assign(limiting_octagon);75176 Octagonal_Shape limiting_octagon(space_dim, UNIVERSE);75177 get_limiting_octagon(cs, limiting_octagon);[all …]