Searched refs:var_space_dim (Results 1 – 8 of 8) sorted by relevance
888 const dimension_type var_space_dim = var.space_dimension(); in constrains() local889 if (space_dim < var_space_dim) { in constrains()1902 const dimension_type var_space_dim = var.space_dimension(); in affine_image() local1903 if (space_dim < var_space_dim) { in affine_image()1913 if (var_space_dim <= expr_space_dim in affine_image()1996 if (space_dim < var_space_dim) { in affine_preimage()2006 if (var_space_dim <= expr_space_dim && expr_var != 0) { in affine_preimage()2084 if (space_dim < var_space_dim) { in generalized_affine_image()2180 if (space_dim < var_space_dim) { in generalized_affine_preimage()2562 if (space_dim < var_space_dim) { in bounded_affine_image()[all …]
731 const dimension_type var_space_dim = var.space_dimension(); in constrains() local732 if (space_dim < var_space_dim) { in constrains()2759 const dimension_type var_space_dim = var.space_dimension(); in affine_image() local2760 if (space_dim < var_space_dim) { in affine_image()2848 const dimension_type var_space_dim = var.space_dimension(); in affine_preimage() local2849 if (space_dim < var_space_dim) { in affine_preimage()2930 const dimension_type var_space_dim = var.space_dimension(); in bounded_affine_image() local2931 if (space_dim < var_space_dim) { in bounded_affine_image()3016 if (space_dim < var_space_dim) { in bounded_affine_preimage()3100 if (space_dim < var_space_dim) { in generalized_affine_image()[all …]
1608 const dimension_type var_space_dim = var.space_dimension(); in constrains() local1609 if (space_dimension() < var_space_dim) { in constrains()3084 const dimension_type var_space_dim = var.space_dimension(); in affine_image() local3085 if (space_dim < var_space_dim) { in affine_image()3131 const dimension_type var_space_dim = var.space_dimension(); in affine_form_image() local3132 if (space_dim < var_space_dim) { in affine_form_image()3172 if (x_space_dim < var_space_dim) { in affine_preimage()3248 if (space_dim < var_space_dim) { in bounded_affine_image()3387 if (space_dim < var_space_dim) { in bounded_affine_preimage()3581 if (space_dim < var_space_dim) { in generalized_affine_image()[all …]
622 const dimension_type var_space_dim = var.space_dimension(); in constrains() local623 if (x.space_dimension() < var_space_dim) { in constrains()627 << "v.space_dimension() == " << var_space_dim << "."; in constrains()
938 const dimension_type var_space_dim = var.space_dimension(); in constrains() local939 if (space_dimension() < var_space_dim) { in constrains()949 const DB_Row<N>& dbm_v = dbm[var_space_dim]; in constrains()952 || !is_plus_infinity(dbm[i][var_space_dim])) { in constrains()3568 const dimension_type var_space_dim = var.space_dimension(); in unconstrain() local3569 if (space_dimension() < var_space_dim) { in unconstrain()3570 throw_dimension_incompatible("unconstrain(var)", var_space_dim); in unconstrain()3580 forget_all_dbm_constraints(var_space_dim); in unconstrain()
1557 const dimension_type var_space_dim = var.space_dimension(); in constrains() local1558 if (space_dimension() < var_space_dim) { in constrains()1569 const dimension_type n_v = 2*(var_space_dim - 1); in constrains()
72612 if (space_dimension() < var_space_dim) {81486 if (space_dimension() < var_space_dim) {84116 if (space_dimension() < var_space_dim) {89228 if (space_dimension() < var_space_dim) {90704 if (space_dim < var_space_dim) {90751 if (space_dim < var_space_dim) {90791 if (x_space_dim < var_space_dim) {90867 if (space_dim < var_space_dim) {91006 if (space_dim < var_space_dim) {91200 if (space_dim < var_space_dim) {[all …]
60476 (var_space_dim <= expr_space_dim && expr[var_space_dim] != 0) {