Searched refs:clear_sat_c_up_to_date (Results 1 – 6 of 6) sorted by relevance
268 Polyhedron::clear_sat_c_up_to_date() { in clear_sat_c_up_to_date() function in Parma_Polyhedra_Library::Polyhedron283 clear_sat_c_up_to_date(); in clear_constraints_up_to_date()293 clear_sat_c_up_to_date(); in clear_generators_up_to_date()
290 clear_sat_c_up_to_date(); in concatenate_assign()
805 x.clear_sat_c_up_to_date(); in process_pending_generators()895 x.clear_sat_c_up_to_date(); in update_generators()984 x.clear_sat_c_up_to_date(); in obtain_sorted_constraints()991 x.clear_sat_c_up_to_date(); in obtain_sorted_constraints()
2206 void clear_sat_c_up_to_date();
2823 clear_sat_c_up_to_date(); in affine_image()2911 clear_sat_c_up_to_date(); in affine_preimage()3184 clear_sat_c_up_to_date(); in generalized_affine_image()
49594 void clear_sat_c_up_to_date();50684 Polyhedron::clear_sat_c_up_to_date() {50699 clear_sat_c_up_to_date();50709 clear_sat_c_up_to_date();