Lines Matching refs:source_k

54440     const source_row_type& source_k = source[k];
54451     // constraint `source_k' and the generator `dest_rows[i]'.  This
54461     // that does not saturate the constraint `source_k'.
54466                               source_k,
54480       Scalar_Products::assign(scalar_prod[i], source_k, dest.sys.rows[i]);
54490     // does not saturate the constraint `source_k' is a line.
54497       // the constraint `source_k', it can no longer be a line
54527       // the constraint `source_k', the scalar product between
54577       // that do not saturate the constraint `source_k'. These rays
54617       // does not saturate the constraint `source_k'.  Therefore, if
54621       if (source_k.is_ray_or_point_or_inequality()) {
54652     // Here all the lines in `dest_rows' saturate the constraint `source_k'.
54712       if (source_k.is_ray_or_point_or_inequality()) {
54734     // violates the constraint `source_k'.
54754     // the constraint `source_k' plus a set of new rays enjoying
54909         // represented by the constraint `source_k'.
54931     if (source_k.is_ray_or_point_or_inequality()) {
54936       // entry for the constraint `source_k' in the saturation matrix.