Searched refs:has_pending_generators (Results 1 – 7 of 7) sorted by relevance
107 if (has_pending_generators()) { in constraints()177 if (!has_pending_generators()) in generators()272 if (has_pending_generators()) { in relation_with()426 if (has_pending_generators()) { in is_universe()486 if (has_pending_generators()) { in is_universe()808 if (has_pending_generators()) { in constrains()1278 if (has_pending_generators()) { in OK()1570 if (has_pending_generators()) { in add_recycled_constraints()1817 if (has_pending_generators()) { in refine_with_constraints()2014 if (x.has_pending_generators()) { in intersection_assign()[all …]
170 Polyhedron::has_pending_generators() const { in has_pending_generators() function in Parma_Polyhedra_Library::Polyhedron308 PPL_ASSERT(has_pending_generators()); in process_pending()
438 if (y.has_pending_generators()) { in is_included_in()739 PPL_ASSERT(has_pending_constraints() && !has_pending_generators()); in process_pending_constraints()779 PPL_ASSERT(has_pending_generators() && !has_pending_constraints()); in process_pending_generators()825 PPL_ASSERT(x.has_pending_generators()); in remove_pending_to_obtain_constraints()840 if (x.has_pending_generators()) { in remove_pending_to_obtain_generators()1447 if (has_pending_generators()) { in refine_no_check()2252 if (has_pending_generators()) { in drop_some_non_integer_points()2281 PPL_ASSERT(!has_pending_generators() && constraints_are_up_to_date()); in drop_some_non_integer_points()
78 && !has_pending_generators() in select_H79_constraints()213 if (x.has_pending_generators() || !x.constraints_are_up_to_date()) { in H79_widening_assign()257 if (has_pending_generators()) { in H79_widening_assign()
222 if (has_pending_generators()) { in concatenate_assign()
2107 bool has_pending_generators() const;
49495 bool has_pending_generators() const;50586 Polyhedron::has_pending_generators() const {50724 PPL_ASSERT(has_pending_generators());