Searched refs:tight_coherence_would_make_empty (Results 1 – 4 of 4) sorted by relevance
2163 bool tight_coherence_would_make_empty() const;
1356 return !tight_coherence_would_make_empty(); in contains_integer_point()1395 return !oct_z.tight_coherence_would_make_empty(); in contains_integer_point()2724 Octagonal_Shape<T>::tight_coherence_would_make_empty() const { in tight_coherence_would_make_empty() function in Parma_Polyhedra_Library::Octagonal_Shape2753 if (tight_coherence_would_make_empty()) { in tight_closure_assign()7826 else if (x.is_empty() || x.tight_coherence_would_make_empty()) { in integer_upper_bound_assign_if_exact()7831 else if (y.is_empty() || y.tight_coherence_would_make_empty()) { in integer_upper_bound_assign_if_exact()
69436 bool tight_coherence_would_make_empty() const;72410 return !tight_coherence_would_make_empty();72449 return !oct_z.tight_coherence_would_make_empty();73778 Octagonal_Shape<T>::tight_coherence_would_make_empty() const {73807 if (tight_coherence_would_make_empty()) {78880 else if (x.is_empty() || x.tight_coherence_would_make_empty()) {78885 else if (y.is_empty() || y.tight_coherence_would_make_empty()) {
37291 Used is_even() in tight_coherence_would_make_empty(). Corrected