/dports/devel/ppl/ppl-1.2/src/ |
H A D | CO_Tree_defs.hh | 703 void increase_keys_from(dimension_type key, dimension_type n); 905 dimension_type bisect_in(dimension_type first, dimension_type last, 929 dimension_type bisect_near(dimension_type hint, dimension_type key) const; 1051 static bool is_less_than_ratio(dimension_type numer, dimension_type denom, 1071 static bool is_greater_than_ratio(dimension_type numer, dimension_type denom, 1161 dimension_type last_in_subtree, dimension_type subtree_size, 1277 static const dimension_type unused_index = C_Integer<dimension_type>::max; 1302 dimension_type* indexes; 1326 dimension_type size_; 1525 dimension_type i; [all …]
|
H A D | Linear_Expression_Impl_defs.hh | 338 virtual void negate(dimension_type first, dimension_type last); 424 virtual dimension_type num_zeroes(dimension_type start, dimension_type end) const; 628 dimension_type start, dimension_type end); 787 dimension_type 791 dimension_type 846 dimension_type 849 dimension_type 853 dimension_type 857 dimension_type 862 dimension_type [all …]
|
H A D | Dense_Row_defs.hh | 69 Dense_Row(dimension_type sz, dimension_type capacity); 85 Dense_Row(const Dense_Row& y, dimension_type sz, dimension_type capacity); 91 Dense_Row(const Sparse_Row& y, dimension_type sz, dimension_type capacity); 109 void resize(dimension_type sz, dimension_type capacity); 127 void add_zeroes_and_shift(dimension_type n, dimension_type i); 170 void swap_coefficients(dimension_type i, dimension_type j); 188 void reset(dimension_type first, dimension_type last); 357 dimension_type start, dimension_type end); 471 dimension_type idx; 509 dimension_type idx; [all …]
|
H A D | Sparse_Row_defs.hh | 99 Sparse_Row(dimension_type n, dimension_type capacity); 112 Sparse_Row(const Sparse_Row& y, dimension_type sz, dimension_type capacity); 128 Sparse_Row(const Dense_Row& y, dimension_type sz, dimension_type capacity); 145 dimension_type size() const; 226 void add_zeroes_and_shift(dimension_type n, dimension_type i); 537 void swap_coefficients(dimension_type i, dimension_type j); 757 dimension_type start, dimension_type end); 822 dimension_type size_; 879 dimension_type start, dimension_type end); 901 dimension_type start, dimension_type end); [all …]
|
H A D | Linear_Expression_Interface_defs.hh | 251 virtual void negate(dimension_type first, dimension_type last) = 0; 330 virtual bool all_zeroes(dimension_type start, dimension_type end) const = 0; 338 virtual dimension_type 339 num_zeroes(dimension_type start, dimension_type end) const = 0; 361 dimension_type start, dimension_type end) = 0; 392 dimension_type start, dimension_type end) = 0; 417 last_nonzero(dimension_type first, dimension_type last) const = 0; 422 first_nonzero(dimension_type first, dimension_type last) const = 0; 433 dimension_type start, dimension_type end) const = 0; 442 dimension_type start, dimension_type end) const = 0; [all …]
|
H A D | DB_Row_defs.hh | 73 dimension_type capacity_; 145 void construct(dimension_type sz, dimension_type capacity); 166 DB_Row(dimension_type sz); 169 DB_Row(dimension_type sz, dimension_type capacity); 186 DB_Row(const DB_Row& y, dimension_type sz, dimension_type capacity); 232 dimension_type size() const; 237 T& operator[](dimension_type k); 294 bool OK(dimension_type row_size, dimension_type row_capacity) const; 304 dimension_type capacity() const; 412 dimension_type size() const; [all …]
|
H A D | Matrix_defs.hh | 44 static dimension_type max_num_rows(); 72 Matrix(dimension_type num_rows, dimension_type num_columns); 88 dimension_type num_rows() const; 94 dimension_type num_columns() const; 98 dimension_type capacity() const; 112 void resize(dimension_type n); 146 void resize(dimension_type num_rows, dimension_type num_columns); 164 void add_zero_rows_and_columns(dimension_type n, dimension_type m); 256 void swap_columns(dimension_type i, dimension_type j); 290 void add_zero_columns(dimension_type n, dimension_type i); [all …]
|
H A D | Linear_System_defs.hh | 141 dimension_type space_dimension() const; 167 void remove_rows(dimension_type first, dimension_type last, 222 dimension_type num_rows() const; 254 dimension_type num_pending_rows() const; 365 void sort_rows(dimension_type first_row, dimension_type last_row); 404 dimension_type gauss(dimension_type n_lines_or_equalities); 506 void swap_row_intervals(dimension_type first, dimension_type last, 511 dimension_type space_dimension_; 518 dimension_type index_first_pending; 539 bool operator()(dimension_type i, dimension_type j) const; [all …]
|
H A D | Expression_Hide_Inhomo_defs.hh | 74 Coefficient_traits::const_reference get(dimension_type i) const; 89 bool all_zeroes(dimension_type start, dimension_type end) const; 94 dimension_type num_zeroes(dimension_type start, dimension_type end) const; 100 Coefficient gcd(dimension_type start, dimension_type end) const; 104 dimension_type last_nonzero() const; 108 dimension_type last_nonzero(dimension_type first, dimension_type last) const; 112 dimension_type first_nonzero(dimension_type first, dimension_type last) const; 119 dimension_type start, dimension_type end) const; 122 void has_a_free_dimension_helper(std::set<dimension_type>& x) const; 128 dimension_type start, dimension_type end) const; [all …]
|
H A D | Expression_Hide_Last_defs.hh | 62 dimension_type space_dimension() const; 90 Coefficient_traits::const_reference get(dimension_type i) const; 99 bool all_zeroes(dimension_type start, dimension_type end) const; 102 dimension_type num_zeroes(dimension_type start, dimension_type end) const; 108 Coefficient gcd(dimension_type start, dimension_type end) const; 112 dimension_type last_nonzero() const; 116 dimension_type last_nonzero(dimension_type first, dimension_type last) const; 120 dimension_type first_nonzero(dimension_type first, dimension_type last) const; 127 dimension_type start, dimension_type end) const; 136 dimension_type start, dimension_type end) const; [all …]
|
H A D | Expression_Adapter_defs.hh | 86 dimension_type space_dimension() const; 117 Coefficient_traits::const_reference get(dimension_type i) const; 126 bool all_zeroes(dimension_type start, dimension_type end) const; 129 dimension_type num_zeroes(dimension_type start, dimension_type end) const; 135 Coefficient gcd(dimension_type start, dimension_type end) const; 139 dimension_type last_nonzero() const; 143 dimension_type last_nonzero(dimension_type first, dimension_type last) const; 147 dimension_type first_nonzero(dimension_type first, dimension_type last) const; 154 dimension_type start, dimension_type end) const; 163 dimension_type start, dimension_type end) const; [all …]
|
H A D | MIP_Problem_defs.hh | 141 MIP_Problem(dimension_type dim, 179 MIP_Problem(dimension_type dim, 209 MIP_Problem(dimension_type dim, 499 dimension_type external_space_dim; 505 dimension_type internal_space_dim; 530 std::vector<std::pair<dimension_type, dimension_type> > mapping; 533 std::vector<dimension_type> base; 582 dimension_type inherited_constraints; 725 dimension_type 770 const std::vector<std::pair<dimension_type, dimension_type> >& mapping, [all …]
|
H A D | Linear_System_templates.hh | 40 dimension_type 44 dimension_type n = 0; in num_lines_or_equalities() 69 dimension_type xi = 0; in merge_rows_assign() 71 dimension_type yi = 0; in merge_rows_assign() 167 dimension_type nrows; in PPL_OUTPUT_TEMPLATE_DEFINITIONS_ASCII_ONLY() 189 dimension_type index; in PPL_OUTPUT_TEMPLATE_DEFINITIONS_ASCII_ONLY() 566 dimension_type 579 dimension_type rank = 0; in gauss() 755 const dimension_type in simplify() 757 const dimension_type in simplify() [all …]
|
H A D | Expression_Hide_Inhomo_inlines.hh | 55 const dimension_type x_dim = this->space_dimension(); in is_equal_to() 56 const dimension_type y_dim = y.space_dimension(); in is_equal_to() 105 inline dimension_type 111 dimension_type nz = 0; in num_zeroes() 122 Expression_Hide_Inhomo<T>::gcd(dimension_type start, in gcd() 134 inline dimension_type 140 inline dimension_type 153 inline dimension_type 169 dimension_type start, dimension_type end) const { in all_zeroes_except() 195 dimension_type start, dimension_type end) const { in is_equal_to() [all …]
|
H A D | Matrix_templates.hh | 30 Matrix<Row>::Matrix(dimension_type n) in Matrix() 39 Matrix<Row>::Matrix(dimension_type num_rows, dimension_type num_columns) in Matrix() 49 Matrix<Row>::resize(dimension_type num_rows, dimension_type num_columns) { in resize() 50 const dimension_type old_num_rows = rows.size(); in resize() 77 const dimension_type n = cycles.size(); in permute_columns() 79 for (dimension_type k = num_rows(); k-- > 0; ) { in permute_columns() 112 Matrix<Row>::swap_columns(dimension_type i, dimension_type j) { in swap_columns() 120 Matrix<Row>::add_zero_columns(dimension_type n, dimension_type i) { in add_zero_columns() 130 Matrix<Row>::remove_column(dimension_type i) { in remove_column() 154 dimension_type new_num_rows; in PPL_OUTPUT_TEMPLATE_DEFINITIONS_ASCII_ONLY() [all …]
|
H A D | Linear_Expression_Impl.cc | 107 dimension_type num_removed = 0; in remove_space_dimensions() 174 dimension_type 178 dimension_type result = 0; in num_zeroes() 191 dimension_type i; in gcd() 297 dimension_type start, dimension_type end) const { in all_zeroes_except() 316 dimension_type start, dimension_type end) const { in all_zeroes_except() 342 dimension_type 353 dimension_type 355 ::first_nonzero(dimension_type first, dimension_type last) const { in first_nonzero() 368 dimension_type [all …]
|
H A D | Congruence_System.cc | 70 const dimension_type n = last - first; in remove_rows() 147 const dimension_type old_num_rows = num_rows(); in insert() 188 dimension_type row = cgs.num_rows(); in normalize_moduli() 250 PPL::dimension_type 253 dimension_type n = 0; in num_equalities() 262 PPL::dimension_type 265 dimension_type n = 0; in num_proper_congruences() 313 std::set<dimension_type> candidates; in has_a_free_dimension() 359 dimension_type num_rows; in PPL_OUTPUT_DEFINITIONS() 360 dimension_type space_dim; in PPL_OUTPUT_DEFINITIONS() [all …]
|
H A D | Constraint_System_defs.hh | 177 static dimension_type max_space_dimension(); 180 dimension_type space_dimension() const; 283 dimension_type num_equalities() const; 286 dimension_type num_inequalities() const; 364 dimension_type num_rows() const; 373 dimension_type num_pending_rows() const; 376 dimension_type first_pending_row() const; 416 void remove_rows(dimension_type first, dimension_type last, 420 void remove_trailing_rows(dimension_type n); 529 dimension_type gauss(dimension_type n_lines_or_equalities); [all …]
|
H A D | Linear_Expression_defs.hh | 694 bool all_zeroes(dimension_type start, dimension_type end) const; 699 dimension_type num_zeroes(dimension_type start, dimension_type end) const; 705 Coefficient gcd(dimension_type start, dimension_type end) const; 708 dimension_type start, dimension_type end); 732 dimension_type start, dimension_type end); 743 dimension_type start, dimension_type end); 751 dimension_type last_nonzero(dimension_type first, dimension_type last) const; 755 dimension_type first_nonzero(dimension_type first, dimension_type last) const; 785 dimension_type start, dimension_type end) const; 792 dimension_type start, dimension_type end) const; [all …]
|
H A D | CO_Tree.cc | 29 PPL::dimension_type 196 PPL::CO_Tree::increase_keys_from(dimension_type key, dimension_type n) { in increase_keys_from() 214 PPL::dimension_type 215 PPL::CO_Tree::bisect_in(dimension_type first, dimension_type last, in bisect_in() 261 PPL::dimension_type 262 PPL::CO_Tree::bisect_near(dimension_type hint, dimension_type key) const { in bisect_near() 949 PPL::dimension_type 1052 static std::pair<dimension_type,dimension_type> in redistribute_elements_in_subtree() 1055 std::pair<dimension_type,dimension_type>* stack_first_empty = stack; in redistribute_elements_in_subtree() 1256 dimension_type i; in copy_data_from() [all …]
|
H A D | Generator_System_defs.hh | 221 static dimension_type max_space_dimension(); 224 dimension_type space_dimension() const; 331 dimension_type num_rows() const; 351 dimension_type first_pending_row() const; 375 dimension_type num_pending_rows() const; 408 dimension_type num_lines_or_equalities() const; 428 void remove_rows(dimension_type first, dimension_type last, 440 void remove_trailing_rows(dimension_type n); 454 dimension_type gauss(dimension_type n_lines_or_equalities); 617 dimension_type num_lines() const; [all …]
|
H A D | Sparse_Row_inlines.hh | 32 Sparse_Row::Sparse_Row(dimension_type n) in Sparse_Row() 38 Sparse_Row::Sparse_Row(dimension_type n, dimension_type) in Sparse_Row() argument 49 Sparse_Row::Sparse_Row(const Sparse_Row& y, dimension_type sz, dimension_type) in Sparse_Row() argument 65 inline dimension_type 70 inline dimension_type 76 Sparse_Row::resize(dimension_type n) { in resize() 85 Sparse_Row::shrink(dimension_type n) { in shrink() 105 Sparse_Row::add_zeroes_and_shift(dimension_type n, dimension_type i) { in add_zeroes_and_shift() 142 inline dimension_type 180 Sparse_Row::find(dimension_type i) { in find() [all …]
|
H A D | DB_Matrix_templates.hh | 35 for (dimension_type i = 0; i < n_rows; ++i) { in DB_Matrix() 69 dimension_type i = new_n_rows; in grow() 99 dimension_type i = new_n_rows; in grow() 130 const dimension_type new_row_capacity in grow() 147 dimension_type old_n_rows = rows.size(); in resize_no_copy() 160 dimension_type i = new_n_rows; in resize_no_copy() 211 const dimension_type new_row_capacity in resize_no_copy() 229 const dimension_type nrows = x.num_rows(); in ascii_dump() 245 dimension_type nrows; in PPL_OUTPUT_TEMPLATE_DEFINITIONS() 330 const dimension_type n = c.num_rows(); in operator <<() [all …]
|
H A D | Linear_Form_templates.hh | 92 dimension_type f1_size = f1.size(); in operator +() 93 dimension_type f2_size = f2.size(); in operator +() 94 dimension_type min_size; in operator +() 95 dimension_type max_size; in operator +() 109 dimension_type i = max_size; in operator +() 165 dimension_type f1_size = f1.size(); in operator -() 166 dimension_type f2_size = f2.size(); in operator -() 169 dimension_type i = f1_size; in operator -() 183 dimension_type i = f2_size; in operator -() 329 dimension_type f_size = f.size(); in operator *=() [all …]
|
H A D | Expression_Hide_Last_inlines.hh | 39 inline dimension_type 91 const dimension_type x_dim = space_dimension(); in is_equal_to() 92 const dimension_type y_dim = y.space_dimension(); in is_equal_to() 129 inline dimension_type 138 Expression_Hide_Last<T>::gcd(dimension_type start, in gcd() 145 inline dimension_type 151 inline dimension_type 159 inline dimension_type 170 dimension_type start, dimension_type end) const { in all_zeroes_except() 191 dimension_type start, dimension_type end) const { in is_equal_to() [all …]
|