Searched refs:forget_all_octagonal_constraints (Results 1 – 4 of 4) sorted by last modified time
75532 forget_all_octagonal_constraints(var_id);75562 forget_all_octagonal_constraints(*vsi);76236 forget_all_octagonal_constraints(var_id);76463 forget_all_octagonal_constraints(var_id);76649 forget_all_octagonal_constraints(var_id);76998 forget_all_octagonal_constraints(var_id);77044 forget_all_octagonal_constraints(var_id);77141 forget_all_octagonal_constraints(var_id);77403 forget_all_octagonal_constraints(var_id);77506 forget_all_octagonal_constraints(var_id);[all …]
2039 void forget_all_octagonal_constraints(dimension_type v_id);
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()5409 forget_all_octagonal_constraints(var_id); in affine_image()5595 forget_all_octagonal_constraints(var_id); in affine_form_image()5944 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()6349 forget_all_octagonal_constraints(var_id); in generalized_affine_image()6452 forget_all_octagonal_constraints(var_id); in generalized_affine_image()[all …]
44401 Octagonal_Shape<T>::forget_all_octagonal_constraints(). `v_id'44954 Octagon<T>::forget_all_octagonal_constraints() and45131 forget_all_octagonal_constraints().