wordProductAsMonom() [3/3]

Monom FreeMonoid::wordProductAsMonom	(	const Word &	left,
		const Word &	right,
		MemoryBlock &	memBlock ) const

Definition at line 346 of file FreeMonoid.cpp.

{
  int monomOffset = numWeights() + 1;
  int sz = left.size() + right.size() + numWeights() + 1;
  auto rg = memBlock.allocateArray<int>(sz);
  rg.first[0] = sz;
  std::copy(left.begin(), left.end(), rg.first + monomOffset);
  std::copy(right.begin(), right.end(), rg.first + monomOffset + left.size());
  Monom newmon = Monom(rg.first);
  setWeights(newmon);
  return newmon;
}

References MemoryBlock::allocateArray(), Word::begin(), Word::end(), numWeights(), setWeights(), and Word::size().