Searched refs:is_strongly_reduced (Results 1 – 4 of 4) sorted by relevance
2155 bool is_strongly_reduced() const;
1633 Octagonal_Shape<T>::is_strongly_reduced() const { in is_strongly_reduced() function in Parma_Polyhedra_Library::Octagonal_Shape3053 PPL_ASSERT(x.is_strongly_reduced()); in strong_reduction_assign()
69428 bool is_strongly_reduced() const;72687 Octagonal_Shape<T>::is_strongly_reduced() const {74107 PPL_ASSERT(x.is_strongly_reduced());
44765 version of is_strongly_reduced(): the modified version was not44786 is_strongly_reduced().45166 Octagon::is_strongly_reduced().