Home
last modified time | relevance | path

Searched refs:dimension_type (Results 1 – 25 of 672) sorted by relevance

12345678910>>...27

/dports/devel/ppl/ppl-1.2/src/
H A DCO_Tree_defs.hh703 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 DLinear_Expression_Impl_defs.hh338 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 DDense_Row_defs.hh69 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 DSparse_Row_defs.hh99 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 DLinear_Expression_Interface_defs.hh251 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 DDB_Row_defs.hh73 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 DMatrix_defs.hh44 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 DLinear_System_defs.hh141 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 DExpression_Hide_Inhomo_defs.hh74 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 DExpression_Hide_Last_defs.hh62 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 DExpression_Adapter_defs.hh86 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 DMIP_Problem_defs.hh141 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 DLinear_System_templates.hh40 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 DExpression_Hide_Inhomo_inlines.hh55 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 DMatrix_templates.hh30 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 DLinear_Expression_Impl.cc107 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 DCongruence_System.cc70 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 DConstraint_System_defs.hh177 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 DLinear_Expression_defs.hh694 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 DCO_Tree.cc29 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 DGenerator_System_defs.hh221 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 DSparse_Row_inlines.hh32 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 DDB_Matrix_templates.hh35 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 DLinear_Form_templates.hh92 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 DExpression_Hide_Last_inlines.hh39 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 …]

12345678910>>...27