void RegionDesc::prepend(const RegionDesc& other) { copyBlocksFrom(other, m_blocks.begin()); copyArcsFrom(other); }
void RegionDesc::prepend(const RegionDesc& other) { copyBlocksFrom(other, m_blocks.begin()); copyArcsFrom(other); m_sideExitingBlocks.insert(other.m_sideExitingBlocks.begin(), other.m_sideExitingBlocks.end()); }
void RegionDesc::append(const RegionDesc& other) { copyBlocksFrom(other, m_blocks.end()); copyArcsFrom(other); }