Definition at line 301 of file NCF4.cpp.
302{
303
304
308 int sz = left.size() + right.
size();
310 std::copy(left.begin(),left.end(),rg.first);
311 std::copy(right.
begin(),right.
end(),rg.first+left.size());
312 return Word(rg.first, rg.second);
313}
MemoryBlock mMonomialSpace
const int * begin() const
TermIterator< Nterm > begin(Nterm *ptr)
References begin(), Word::begin(), Word::end(), mMonomialSpace, mWordTable, and Word::size().
Referenced by checkOldOverlaps(), and isOverlapNecessary().