Searched refs:has_something_pending (Results 1 – 9 of 9) sorted by relevance
50 && !y.has_something_pending() in select_CH78_constraints()81 && !y.has_something_pending() in select_H79_constraints()411 PPL_ASSERT(!x.marked_empty() && !x.has_something_pending() in BHRZ03_combining_constraints()413 PPL_ASSERT(!y.marked_empty() && !y.has_something_pending() in BHRZ03_combining_constraints()415 PPL_ASSERT(!H79.marked_empty() && !H79.has_something_pending() in BHRZ03_combining_constraints()540 PPL_ASSERT(!x.marked_empty() && !x.has_something_pending() in BHRZ03_evolving_points()542 PPL_ASSERT(!y.marked_empty() && !y.has_something_pending() in BHRZ03_evolving_points()544 PPL_ASSERT(!H79.marked_empty() && !H79.has_something_pending() in BHRZ03_evolving_points()688 PPL_ASSERT(!x.marked_empty() && !x.has_something_pending() in BHRZ03_evolving_rays()690 PPL_ASSERT(!y.marked_empty() && !y.has_something_pending() in BHRZ03_evolving_rays()[all …]
321 || (has_something_pending() && !remove_pending_to_obtain_generators()) in remove_space_dimensions()371 || (has_something_pending() && !remove_pending_to_obtain_generators()) in remove_higher_space_dimensions()
175 Polyhedron::has_something_pending() const { in has_something_pending() function in Parma_Polyhedra_Library::Polyhedron302 PPL_ASSERT(has_something_pending()); in process_pending()
557 || (has_something_pending() && !process_pending())) { in is_topologically_closed()562 PPL_ASSERT(!has_something_pending()); in is_topologically_closed()864 if (has_something_pending()) { in OK()909 if (has_something_pending()) { in OK()2217 && !x.has_something_pending() in simplify_using_context_assign()2219 && !y.has_something_pending()); in simplify_using_context_assign()2448 && !z.has_something_pending()); in simplify_using_context_assign()2805 if (has_something_pending()) { in affine_image()2894 if (has_something_pending()) { in affine_preimage()
365 if (!x.has_something_pending() && !y.has_something_pending()) { in quick_equivalence_test()811 PPL_ASSERT(has_something_pending()); in remove_pending_to_obtain_constraints()835 PPL_ASSERT(has_something_pending()); in remove_pending_to_obtain_generators()864 PPL_ASSERT(!has_something_pending()); in update_constraints()883 PPL_ASSERT(!has_something_pending()); in update_generators()1115 if (has_something_pending()) { in minimize()
2113 bool has_something_pending() const;
232 if (!ph.has_something_pending() && ph.constraints_are_minimized()) { in BD_Shape()
74 if (!ph.has_something_pending() && ph.constraints_are_minimized()) { in Octagonal_Shape()
49501 bool has_something_pending() const;50591 Polyhedron::has_something_pending() const {50718 PPL_ASSERT(has_something_pending());71128 if (!ph.has_something_pending() && ph.constraints_are_minimized()) {80779 if (!ph.has_something_pending() && ph.constraints_are_minimized()) {