Lines Matching refs:forget_all_octagonal_constraints

4420 ::forget_all_octagonal_constraints(const dimension_type v_id) {  in forget_all_octagonal_constraints()  function in Parma_Polyhedra_Library::Octagonal_Shape
4478 forget_all_octagonal_constraints(var_id); in unconstrain()
4508 forget_all_octagonal_constraints(*vsi); in unconstrain()
5182 forget_all_octagonal_constraints(var_id); in affine_image()
5256 forget_all_octagonal_constraints(var_id); in affine_image()
5409 forget_all_octagonal_constraints(var_id); in affine_image()
5595 forget_all_octagonal_constraints(var_id); in affine_form_image()
5671 forget_all_octagonal_constraints(var_id); in affine_form_image()
5944 forget_all_octagonal_constraints(var_id); in affine_preimage()
5961 forget_all_octagonal_constraints(var_id); in affine_preimage()
5990 forget_all_octagonal_constraints(var_id); in affine_preimage()
6087 forget_all_octagonal_constraints(var_id); in generalized_affine_image()
6163 forget_all_octagonal_constraints(var_id); in generalized_affine_image()
6234 forget_all_octagonal_constraints(var_id); in generalized_affine_image()
6349 forget_all_octagonal_constraints(var_id); in generalized_affine_image()
6452 forget_all_octagonal_constraints(var_id); in generalized_affine_image()
6634 forget_all_octagonal_constraints(lhs_vars_i); in generalized_affine_image()
6663 forget_all_octagonal_constraints(lhs_vars_i); in generalized_affine_image()
6685 forget_all_octagonal_constraints(lhs_vars_i); in generalized_affine_image()
7101 forget_all_octagonal_constraints(var_id); in generalized_affine_preimage()
7225 forget_all_octagonal_constraints(lhs_vars_i); in generalized_affine_preimage()
7248 forget_all_octagonal_constraints(lhs_vars_i); in generalized_affine_preimage()