Searched refs:is_strong_coherent (Results 1 – 4 of 4) sorted by relevance
2161 bool is_strong_coherent() const;
1594 Octagonal_Shape<T>::is_strong_coherent() const { in is_strong_coherent() function in Parma_Polyhedra_Library::Octagonal_Shape8473 if (!is_strong_coherent()) { in OK()
69434 bool is_strong_coherent() const;72648 Octagonal_Shape<T>::is_strong_coherent() const {79527 if (!is_strong_coherent()) {
45115 all. Improved the method Octagon::is_strong_coherent(): removing