Home
last modified time | relevance | path

Searched refs:source_num_rows (Results 1 – 4 of 4) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DGrid_conversion.cc346 dimension_type source_num_rows = 0; in conversion() local
361 lcm_assign(diagonal_lcm, diagonal_lcm, source[source_num_rows].expr.get(dim)); in conversion()
366 ++source_num_rows; in conversion()
383 dimension_type source_index = source_num_rows; in conversion()
426 source_index = source_num_rows; in conversion()
H A DPolyhedron_conversion_templates.hh381 const dimension_type source_num_rows = source.num_rows(); in conversion() local
396 PPL_ASSERT(source_num_rows == sat.num_columns()); in conversion()
422 for (dimension_type k = start; k < source_num_rows; ++k) { in conversion()
H A Dppl.hh.dist54398 const dimension_type source_num_rows = source.num_rows();
54413 PPL_ASSERT(source_num_rows == sat.num_columns());
54438 // from `start' to the last one (i.e., `source_num_rows' - 1).
54439 for (dimension_type k = start; k < source_num_rows; ++k) {
54999 // `start == source_num_rows' (i.e., the second sub-system is empty)
/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200882520 source_num_rows - 1 swaps of the rows in source. The new code is