Searched refs:clear_constraints_up_to_date (Results 1 – 6 of 6) sorted by relevance
343 clear_constraints_up_to_date(); in remove_space_dimensions()391 clear_constraints_up_to_date(); in remove_higher_space_dimensions()
1515 clear_constraints_up_to_date(); in add_generator()1693 clear_constraints_up_to_date(); in add_recycled_generators()1935 clear_constraints_up_to_date(); in unconstrain()1980 clear_constraints_up_to_date(); in unconstrain()2640 x.clear_constraints_up_to_date(); in poly_hull_assign()2821 clear_constraints_up_to_date(); in affine_image()3182 clear_constraints_up_to_date(); in generalized_affine_image()3725 x.clear_constraints_up_to_date(); in time_elapse_assign()3880 clear_constraints_up_to_date(); in topological_closure_assign()
280 Polyhedron::clear_constraints_up_to_date() { in clear_constraints_up_to_date() function in Parma_Polyhedra_Library::Polyhedron
2184 void clear_constraints_up_to_date();
846 x.clear_constraints_up_to_date(); in remove_pending_to_obtain_generators()1421 x.clear_constraints_up_to_date(); in strongly_minimize_generators()2520 clear_constraints_up_to_date(); in positive_time_elapse_assign_impl()
49572 void clear_constraints_up_to_date();50696 Polyhedron::clear_constraints_up_to_date() {