Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_inlines.hh248 Polyhedron::clear_constraints_minimized() { in clear_constraints_minimized() function in Parma_Polyhedra_Library::Polyhedron
282 clear_constraints_minimized(); in clear_constraints_up_to_date()
H A DPolyhedron_chdims.cc287 clear_constraints_minimized(); in concatenate_assign()
H A DPolyhedron_public.cc1592 clear_constraints_minimized(); in add_recycled_constraints()
1869 clear_constraints_minimized(); in refine_with_constraints()
2053 x.clear_constraints_minimized(); in intersection_assign()
2910 clear_constraints_minimized(); in affine_preimage()
3863 clear_constraints_minimized(); in topological_closure_assign()
H A DPolyhedron_defs.hh2194 void clear_constraints_minimized();
H A DPolyhedron_nonpublic.cc821 x.clear_constraints_minimized(); in remove_pending_to_obtain_constraints()
1495 clear_constraints_minimized(); in refine_no_check()
2369 clear_constraints_minimized(); in drop_some_non_integer_points()
H A Dppl.hh.dist49582 void clear_constraints_minimized();
50664 Polyhedron::clear_constraints_minimized() {
50698 clear_constraints_minimized();