Info tool about page boxes

This commit is contained in:
Jakub Melka
2020-10-08 18:47:04 +02:00
parent 300a893f5d
commit 98f945f724
5 changed files with 208 additions and 0 deletions

View File

@ -284,6 +284,12 @@ void PDFClosedIntervalSet::addInterval(PDFInteger low, PDFInteger high)
normalize();
}
void PDFClosedIntervalSet::merge(const PDFClosedIntervalSet& other)
{
m_intervals.insert(m_intervals.end(), other.m_intervals.cbegin(), other.m_intervals.cend());
normalize();
}
bool PDFClosedIntervalSet::isCovered(PDFInteger low, PDFInteger high)
{
PDFClosedIntervalSet temporary;