Searched refs:source_k (Results 1 – 2 of 2) sorted by path
423 const source_row_type& source_k = source[k]; in conversion() local449 source_k, in conversion()463 Scalar_Products::assign(scalar_prod[i], source_k, dest.sys.rows[i]); in conversion()604 if (source_k.is_ray_or_point_or_inequality()) { in conversion()695 if (source_k.is_ray_or_point_or_inequality()) { in conversion()914 if (source_k.is_ray_or_point_or_inequality()) { in conversion()
54440 const source_row_type& source_k = source[k];54461 // that does not saturate the constraint `source_k'.54466 source_k,54490 // does not saturate the constraint `source_k' is a line.54497 // the constraint `source_k', it can no longer be a line54527 // the constraint `source_k', the scalar product between54621 if (source_k.is_ray_or_point_or_inequality()) {54712 if (source_k.is_ray_or_point_or_inequality()) {54734 // violates the constraint `source_k'.54909 // represented by the constraint `source_k'.[all …]