Searched refs:tight_closure_assign (Results 1 – 3 of 3) sorted by relevance
2185 void tight_closure_assign();
2743 Octagonal_Shape<T>::tight_closure_assign() { in tight_closure_assign() function in Parma_Polyhedra_Library::Octagonal_Shape7819 tight_closure_assign(); in integer_upper_bound_assign_if_exact()7823 tight_closure_assign(); in integer_upper_bound_assign_if_exact()7828 tight_closure_assign(); in integer_upper_bound_assign_if_exact()7832 tight_closure_assign(); in integer_upper_bound_assign_if_exact()7842 tx.tight_closure_assign(); in integer_upper_bound_assign_if_exact()7844 ty.tight_closure_assign(); in integer_upper_bound_assign_if_exact()
69458 void tight_closure_assign();73797 Octagonal_Shape<T>::tight_closure_assign() {73799 "Octagonal_Shape<T>::tight_closure_assign():"78873 tight_closure_assign();78877 tight_closure_assign();78882 tight_closure_assign();78886 tight_closure_assign();78896 tx.tight_closure_assign();78898 ty.tight_closure_assign();