Searched refs:lb_space_dim (Results 1 – 6 of 6) sorted by relevance
2568 const dimension_type lb_space_dim = lb_expr.space_dimension(); in bounded_affine_image() local2569 if (space_dim < lb_space_dim) { in bounded_affine_image()2614 const dimension_type lb_space_dim = lb_expr.space_dimension(); in bounded_affine_preimage() local2615 if (space_dim < lb_space_dim) { in bounded_affine_preimage()
2937 const dimension_type lb_space_dim = lb_expr.space_dimension(); in bounded_affine_image() local2938 if (space_dim < lb_space_dim) { in bounded_affine_image()3022 const dimension_type lb_space_dim = lb_expr.space_dimension(); in bounded_affine_preimage() local3023 if (space_dim < lb_space_dim) { in bounded_affine_preimage()
3236 const dimension_type lb_space_dim = lb_expr.space_dimension(); in bounded_affine_image() local3237 if (space_dim < lb_space_dim) { in bounded_affine_image()3393 const dimension_type lb_space_dim = lb_expr.space_dimension(); in bounded_affine_preimage() local3394 if (space_dim < lb_space_dim) { in bounded_affine_preimage()
5256 const dimension_type lb_space_dim = lb_expr.space_dimension(); in bounded_affine_image() local5257 if (bds_space_dim < lb_space_dim) { in bounded_affine_image()5505 const dimension_type lb_space_dim = lb_expr.space_dimension(); in bounded_affine_preimage() local5506 if (space_dim < lb_space_dim) { in bounded_affine_preimage()
6738 const dimension_type lb_space_dim = lb_expr.space_dimension(); in bounded_affine_image() local6739 if (space_dim < lb_space_dim) { in bounded_affine_image()7300 const dimension_type lb_space_dim = lb_expr.space_dimension(); in bounded_affine_preimage() local7301 if (space_dim < lb_space_dim) { in bounded_affine_preimage()
77792 const dimension_type lb_space_dim = lb_expr.space_dimension();77793 if (space_dim < lb_space_dim) {78354 const dimension_type lb_space_dim = lb_expr.space_dimension();78355 if (space_dim < lb_space_dim) {85803 const dimension_type lb_space_dim = lb_expr.space_dimension();85804 if (bds_space_dim < lb_space_dim) {86052 const dimension_type lb_space_dim = lb_expr.space_dimension();86053 if (space_dim < lb_space_dim) {90855 const dimension_type lb_space_dim = lb_expr.space_dimension();90856 if (space_dim < lb_space_dim) {[all …]