Home
last modified time | relevance | path

Searched refs:sat_g_is_up_to_date (Results 1 – 7 of 7) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_nonpublic.cc90 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 …]
H A DPolyhedron_inlines.hh160 Polyhedron::sat_g_is_up_to_date() const { in sat_g_is_up_to_date() function in Parma_Polyhedra_Library::Polyhedron
183 && (sat_c_is_up_to_date() || sat_g_is_up_to_date()); in can_have_something_pending()
H A DPolyhedron_chdims.cc157 if (!sat_g_is_up_to_date()) { in add_space_dimensions_and_project()
H A DPolyhedron_defs.hh2128 bool sat_g_is_up_to_date() const;
H A DPolyhedron_public.cc963 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()
H A DPolyhedron_widenings.cc94 if (!y.sat_g_is_up_to_date()) { in select_H79_constraints()
H A Dppl.hh.dist49516 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());