Searched refs:left_space_dim (Results 1 – 4 of 4) sorted by relevance
313 const dimension_type left_space_dim = left.space_dimension(); in refine_with_linear_form_inequality() local314 if (space_dim < left_space_dim) { in refine_with_linear_form_inequality()
4619 const dimension_type left_space_dim = left.space_dimension(); in refine_with_linear_form_inequality() local4621 if (space_dim < left_space_dim) { in refine_with_linear_form_inequality()4644 for (dimension_type i = left_space_dim; i-- > 0; ) { in refine_with_linear_form_inequality()
542 const dimension_type left_space_dim = left.space_dimension(); in refine_with_linear_form_inequality() local543 if (space_dim < left_space_dim) { in refine_with_linear_form_inequality()565 for (dimension_type i = left_space_dim; i-- > 0; ) { in refine_with_linear_form_inequality()
53708 const dimension_type left_space_dim = left.space_dimension();53709 if (space_dim < left_space_dim) {71596 const dimension_type left_space_dim = left.space_dimension();71597 if (space_dim < left_space_dim) {71619 for (dimension_type i = left_space_dim; i-- > 0; ) {85166 const dimension_type left_space_dim = left.space_dimension();85168 if (space_dim < left_space_dim) {85191 for (dimension_type i = left_space_dim; i-- > 0; ) {