Searched refs:sat_c_is_up_to_date (Results 1 – 6 of 6) sorted by relevance
87 if (y.sat_c_is_up_to_date()) { in Polyhedron()345 if (y.sat_c_is_up_to_date()) { in operator =()745 if (!x.sat_c_is_up_to_date()) { in process_pending_constraints()908 PPL_ASSERT(!sat_c_is_up_to_date()); in update_sat_c()986 else if (x.sat_c_is_up_to_date()) { in obtain_sorted_constraints()1009 if (x.sat_c_is_up_to_date()) { in obtain_sorted_generators()1039 if (!x.sat_c_is_up_to_date() && !x.sat_g_is_up_to_date()) { in obtain_sorted_constraints_with_sat_c()1043 if (x.sat_c_is_up_to_date()) { in obtain_sorted_constraints_with_sat_c()1086 if (!x.sat_c_is_up_to_date()) { in obtain_sorted_generators_with_sat_g()1166 PPL_ASSERT(sat_c_is_up_to_date()); in strongly_minimize_constraints()[all …]
80 if (!sat_c_is_up_to_date()) { in add_space_dimensions_and_embed()260 if (!sat_c_is_up_to_date()) { in concatenate_assign()
155 Polyhedron::sat_c_is_up_to_date() const { in sat_c_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()
2122 bool sat_c_is_up_to_date() const;
954 if (sat_c_is_up_to_date()) { in OK()991 if (sat_c_is_up_to_date()) { in OK()1235 if (sat_c_is_up_to_date()) { in OK()
49510 bool sat_c_is_up_to_date() const;50571 Polyhedron::sat_c_is_up_to_date() const {50599 && (sat_c_is_up_to_date() || sat_g_is_up_to_date());