Searched refs:sat_g_is_up_to_date (Results 1 – 7 of 7) sorted by relevance
90 if (y.sat_g_is_up_to_date()) { in Polyhedron()348 if (y.sat_g_is_up_to_date()) { in operator =()785 if (!x.sat_g_is_up_to_date()) { in process_pending_generators()943 PPL_ASSERT(!sat_g_is_up_to_date()); in update_sat_g()980 if (x.sat_g_is_up_to_date()) { in obtain_sorted_constraints()1050 if (!x.sat_g_is_up_to_date()) { in obtain_sorted_constraints_with_sat_c()1079 if (x.sat_g_is_up_to_date()) { in obtain_sorted_generators_with_sat_g()1165 if (!sat_g_is_up_to_date()) { in strongly_minimize_constraints()1623 if (!x.sat_g_is_up_to_date()) { in BHZ09_C_poly_hull_assign_if_exact()1757 if (!x.sat_g_is_up_to_date()) { in BHZ09_NNC_poly_hull_assign_if_exact()[all …]
160 Polyhedron::sat_g_is_up_to_date() const { in sat_g_is_up_to_date() function in Parma_Polyhedra_Library::Polyhedron183 && (sat_c_is_up_to_date() || sat_g_is_up_to_date()); in can_have_something_pending()
157 if (!sat_g_is_up_to_date()) { in add_space_dimensions_and_project()
2128 bool sat_g_is_up_to_date() const;
963 if (sat_g_is_up_to_date()) { in OK()1000 if (sat_g_is_up_to_date()) { in OK()1251 if (sat_g_is_up_to_date()) { in OK()
94 if (!y.sat_g_is_up_to_date()) { in select_H79_constraints()
49516 bool sat_g_is_up_to_date() const;50576 Polyhedron::sat_g_is_up_to_date() const {50599 && (sat_c_is_up_to_date() || sat_g_is_up_to_date());