Searched refs:strong_coherence_assign (Results 1 – 4 of 4) sorted by relevance
2175 void strong_coherence_assign();
2685 x.strong_coherence_assign(); in strong_closure_assign()2692 Octagonal_Shape<T>::strong_coherence_assign() { in strong_coherence_assign() function in Parma_Polyhedra_Library::Octagonal_Shape2772 strong_coherence_assign(); in tight_closure_assign()2915 x.strong_coherence_assign(); in incremental_strong_closure_assign()
69448 void strong_coherence_assign();73739 x.strong_coherence_assign();73746 Octagonal_Shape<T>::strong_coherence_assign() {73826 strong_coherence_assign();73969 x.strong_coherence_assign();
26788 'plus_infinity' test from strong_coherence_assign().44794 strong_coherence_assign().