Home
last modified time | relevance | path

Searched refs:clear_sat_g_up_to_date (Results 1 – 6 of 6) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_inlines.hh274 Polyhedron::clear_sat_g_up_to_date() { in clear_sat_g_up_to_date() function in Parma_Polyhedra_Library::Polyhedron
284 clear_sat_g_up_to_date(); in clear_constraints_up_to_date()
294 clear_sat_g_up_to_date(); in clear_generators_up_to_date()
H A DPolyhedron_chdims.cc264 clear_sat_g_up_to_date(); in concatenate_assign()
289 clear_sat_g_up_to_date(); in concatenate_assign()
H A DPolyhedron_nonpublic.cc769 x.clear_sat_g_up_to_date(); in process_pending_constraints()
870 x.clear_sat_g_up_to_date(); in update_constraints()
1013 x.clear_sat_g_up_to_date(); in obtain_sorted_generators()
1020 x.clear_sat_g_up_to_date(); in obtain_sorted_generators()
H A DPolyhedron_defs.hh2209 void clear_sat_g_up_to_date();
H A DPolyhedron_public.cc2824 clear_sat_g_up_to_date(); in affine_image()
2912 clear_sat_g_up_to_date(); in affine_preimage()
3185 clear_sat_g_up_to_date(); in generalized_affine_image()
H A Dppl.hh.dist49597 void clear_sat_g_up_to_date();
50690 Polyhedron::clear_sat_g_up_to_date() {
50700 clear_sat_g_up_to_date();
50710 clear_sat_g_up_to_date();