Esempio n. 1
0
void RegionDesc::prepend(const RegionDesc& other) {
  copyBlocksFrom(other, m_blocks.begin());
  copyArcsFrom(other);
}
Esempio n. 2
0
void RegionDesc::prepend(const RegionDesc& other) {
  copyBlocksFrom(other, m_blocks.begin());
  copyArcsFrom(other);
  m_sideExitingBlocks.insert(other.m_sideExitingBlocks.begin(),
                             other.m_sideExitingBlocks.end());
}
Esempio n. 3
0
void RegionDesc::append(const RegionDesc& other) {
  copyBlocksFrom(other, m_blocks.end());
  copyArcsFrom(other);
}