On Feb 22, 2012, at 9:48 AM, David Kastrup wrote:
> "
address@hidden" <
address@hidden> writes:
>
>> Hey all,
>>
>> I've uploaded a first-pass attempt at implementing the suggestion that
>> Joe talked about (using buildings directly in the skylines).
>> This saves a lot of time in the calculation of skyline distance (time
>> spent in Axis_group_interface::skyline_spacing can go from 2 to 0.2
>> seconds for scores with lots of beams and hairpins).
>>
>> However, the global time takes a huge hike with this patchset because
>> skylines are constantly being rebuilt with padding added on.
>
> It would appear to me that one would want to implement padding
> operations working on whole readily-built skylines. That should be more
> efficient than padding the individual elements.
>
The question boils down to this: