Searched refs:lf_space_dimension (Results 1 – 3 of 3) sorted by relevance
5063 const dimension_type lf_space_dimension = lf.space_dimension(); in linear_form_upper_bound() local5064 PPL_ASSERT(lf_space_dimension <= space_dimension()); in linear_form_upper_bound()5080 for (dimension_type curr_var = 0, n_var = 0; curr_var < lf_space_dimension; in linear_form_upper_bound()
5781 const dimension_type lf_space_dimension = lf.space_dimension(); in linear_form_upper_bound() local5782 PPL_ASSERT(lf_space_dimension <= space_dim); in linear_form_upper_bound()5798 for (dimension_type curr_var = 0, n_var = 0; curr_var < lf_space_dimension; in linear_form_upper_bound()
76835 const dimension_type lf_space_dimension = lf.space_dimension();76836 PPL_ASSERT(lf_space_dimension <= space_dim);76852 for (dimension_type curr_var = 0, n_var = 0; curr_var < lf_space_dimension;85610 const dimension_type lf_space_dimension = lf.space_dimension();85611 PPL_ASSERT(lf_space_dimension <= space_dimension());85627 for (dimension_type curr_var = 0, n_var = 0; curr_var < lf_space_dimension;