Searched refs:right_space_dim (Results 1 – 4 of 4) sorted by relevance
319 const dimension_type right_space_dim = right.space_dimension(); in refine_with_linear_form_inequality() local320 if (space_dim < right_space_dim) { in refine_with_linear_form_inequality()
4625 const dimension_type right_space_dim = right.space_dimension(); in refine_with_linear_form_inequality() local4626 if (space_dim < right_space_dim) { in refine_with_linear_form_inequality()4656 for (dimension_type i = right_space_dim; i-- > 0; ) { in refine_with_linear_form_inequality()
548 const dimension_type right_space_dim = right.space_dimension(); in refine_with_linear_form_inequality() local549 if (space_dim < right_space_dim) { in refine_with_linear_form_inequality()577 for (dimension_type i = right_space_dim; i-- > 0; ) { in refine_with_linear_form_inequality()
53714 const dimension_type right_space_dim = right.space_dimension();53715 if (space_dim < right_space_dim) {71602 const dimension_type right_space_dim = right.space_dimension();71603 if (space_dim < right_space_dim) {71631 for (dimension_type i = right_space_dim; i-- > 0; ) {85172 const dimension_type right_space_dim = right.space_dimension();85173 if (space_dim < right_space_dim) {85203 for (dimension_type i = right_space_dim; i-- > 0; ) {