Searched refs:line0_length (Results 1 – 2 of 2) sorted by relevance
1024 double line0_length = line0.Length(); in LineLineTieBreaker() local1045 else if ( line0_length > line1_length ) in LineLineTieBreaker()