Lines Matching refs:sat_c_is_up_to_date
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()
1074 if (!x.sat_c_is_up_to_date() && !x.sat_g_is_up_to_date()) { in obtain_sorted_generators_with_sat_g()
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()
1341 if (!sat_c_is_up_to_date()) { in strongly_minimize_generators()