* @param _Compare the comparator to use, defaults to std::less<_Tp>
*/
template<typename _Tp, typename _Compare>
-class LoserTreeBase
+class _LoserTreeBase
{
protected:
- /** @brief Internal representation of a LoserTree element. */
+ /** @brief Internal representation of a _LoserTree element. */
struct _Loser
{
/** @brief flag, true iff this is a "maximum" __sentinel. */
bool _M_sup;
/** @brief __index of the _M_source __sequence. */
int _M_source;
- /** @brief _M_key of the element in the LoserTree. */
+ /** @brief _M_key of the element in the _LoserTree. */
_Tp _M_key;
};
- unsigned int __ik, __k, __offset;
+ unsigned int _M_ik, _M_k, _M_offset;
- /** log_2{__k} */
+ /** log_2{_M_k} */
unsigned int _M_log_k;
- /** @brief LoserTree __elements. */
- _Loser* __losers;
+ /** @brief _LoserTree __elements. */
+ _Loser* _M_losers;
/** @brief _Compare to use. */
- _Compare __comp;
+ _Compare _M_comp;
/**
- * @brief State flag that determines whether the LoserTree is empty.
+ * @brief State flag that determines whether the _LoserTree is empty.
*
- * Only used for building the LoserTree.
+ * Only used for building the _LoserTree.
*/
- bool __first_insert;
+ bool _M_first_insert;
public:
/**
* @brief The constructor.
*
- * @param _k The number of sequences to merge.
- * @param _comp The comparator to use.
+ * @param __k The number of sequences to merge.
+ * @param __comp The comparator to use.
*/
- LoserTreeBase(unsigned int _k, _Compare _comp)
- : __comp(_comp)
+ _LoserTreeBase(unsigned int __k, _Compare __comp)
+ : _M_comp(__comp)
{
- __ik = _k;
+ _M_ik = __k;
- // Compute log_2{__k} for the _Loser Tree
- _M_log_k = __log2(__ik - 1) + 1;
+ // Compute log_2{_M_k} for the _Loser Tree
+ _M_log_k = __log2(_M_ik - 1) + 1;
// Next greater power of 2.
- __k = 1 << _M_log_k;
- __offset = __k;
+ _M_k = 1 << _M_log_k;
+ _M_offset = _M_k;
- // Avoid default-constructing __losers[]._M_key
- __losers = static_cast<_Loser*>(::operator new(2 * __k * sizeof(_Loser)));
- for (unsigned int __i = __ik - 1; __i < __k; ++__i)
- __losers[__i + __k]._M_sup = true;
+ // Avoid default-constructing _M_losers[]._M_key
+ _M_losers = static_cast<_Loser*>(::operator new(2 * _M_k * sizeof(_Loser)));
+ for (unsigned int __i = _M_ik - 1; __i < _M_k; ++__i)
+ _M_losers[__i + _M_k]._M_sup = true;
- __first_insert = true;
+ _M_first_insert = true;
}
/**
* @brief The destructor.
*/
- ~LoserTreeBase()
- { ::operator delete(__losers); }
+ ~_LoserTreeBase()
+ { ::operator delete(_M_losers); }
/**
* @brief Initializes the sequence "_M_source" with the element "_M_key".
inline void
__insert_start(const _Tp& _M_key, int _M_source, bool _M_sup)
{
- unsigned int __pos = __k + _M_source;
+ unsigned int __pos = _M_k + _M_source;
- if(__first_insert)
+ if(_M_first_insert)
{
// Construct all keys, so we can easily deconstruct them.
- for (unsigned int __i = 0; __i < (2 * __k); ++__i)
- new(&(__losers[__i]._M_key)) _Tp(_M_key);
- __first_insert = false;
+ for (unsigned int __i = 0; __i < (2 * _M_k); ++__i)
+ new(&(_M_losers[__i]._M_key)) _Tp(_M_key);
+ _M_first_insert = false;
}
else
- new(&(__losers[__pos]._M_key)) _Tp(_M_key);
+ new(&(_M_losers[__pos]._M_key)) _Tp(_M_key);
- __losers[__pos]._M_sup = _M_sup;
- __losers[__pos]._M_source = _M_source;
+ _M_losers[__pos]._M_sup = _M_sup;
+ _M_losers[__pos]._M_source = _M_source;
}
/**
* @return the index of the sequence with the smallest element.
*/
int __get_min_source()
- { return __losers[0]._M_source; }
+ { return _M_losers[0]._M_source; }
};
/**
- * @brief Stable LoserTree variant.
+ * @brief Stable _LoserTree variant.
*
* Provides the stable implementations of insert_start, __init_winner,
* __init and __delete_min_insert.
* Unstable variant is done using partial specialisation below.
*/
template<bool __stable/* default == true */, typename _Tp, typename _Compare>
-class LoserTree : public LoserTreeBase<_Tp, _Compare>
+class _LoserTree : public _LoserTreeBase<_Tp, _Compare>
{
- typedef LoserTreeBase<_Tp, _Compare> Base;
- using Base::__k;
- using Base::__losers;
- using Base::__first_insert;
+ typedef _LoserTreeBase<_Tp, _Compare> Base;
+ using Base::_M_k;
+ using Base::_M_losers;
+ using Base::_M_first_insert;
public:
- LoserTree(unsigned int _k, _Compare _comp)
- : Base::LoserTreeBase(_k, _comp)
+ _LoserTree(unsigned int __k, _Compare __comp)
+ : Base::_LoserTreeBase(__k, __comp)
{}
unsigned int
__init_winner(unsigned int __root)
{
- if (__root >= __k)
+ if (__root >= _M_k)
{
return __root;
}
{
unsigned int __left = __init_winner (2 * __root);
unsigned int __right = __init_winner (2 * __root + 1);
- if (__losers[__right]._M_sup
- || (!__losers[__left]._M_sup
- && !__comp(__losers[__right]._M_key, __losers[__left]._M_key)))
+ if (_M_losers[__right]._M_sup
+ || (!_M_losers[__left]._M_sup
+ && !_M_comp(_M_losers[__right]._M_key, _M_losers[__left]._M_key)))
{
// Left one is less or equal.
- __losers[__root] = __losers[__right];
+ _M_losers[__root] = _M_losers[__right];
return __left;
}
else
{
// Right one is less.
- __losers[__root] = __losers[__left];
+ _M_losers[__root] = _M_losers[__left];
return __right;
}
}
}
void __init()
- { __losers[0] = __losers[__init_winner(1)]; }
+ { _M_losers[0] = _M_losers[__init_winner(1)]; }
/**
* @brief Delete the smallest element and insert a new element from
{
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top!
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
- int _M_source = __losers[0]._M_source;
- for (unsigned int __pos = (__k + _M_source) / 2; __pos > 0; __pos /= 2)
+ int _M_source = _M_losers[0]._M_source;
+ for (unsigned int __pos = (_M_k + _M_source) / 2; __pos > 0; __pos /= 2)
{
// The smaller one gets promoted, ties are broken by _M_source.
- if ((_M_sup && (!__losers[__pos]._M_sup || __losers[__pos]._M_source < _M_source))
- || (!_M_sup && !__losers[__pos]._M_sup
- && ((__comp(__losers[__pos]._M_key, _M_key))
- || (!__comp(_M_key, __losers[__pos]._M_key)
- && __losers[__pos]._M_source < _M_source))))
+ if ((_M_sup && (!_M_losers[__pos]._M_sup || _M_losers[__pos]._M_source < _M_source))
+ || (!_M_sup && !_M_losers[__pos]._M_sup
+ && ((_M_comp(_M_losers[__pos]._M_key, _M_key))
+ || (!_M_comp(_M_key, _M_losers[__pos]._M_key)
+ && _M_losers[__pos]._M_source < _M_source))))
{
// The other one is smaller.
- std::swap(__losers[__pos]._M_sup, _M_sup);
- std::swap(__losers[__pos]._M_source, _M_source);
- std::swap(__losers[__pos]._M_key, _M_key);
+ std::swap(_M_losers[__pos]._M_sup, _M_sup);
+ std::swap(_M_losers[__pos]._M_source, _M_source);
+ std::swap(_M_losers[__pos]._M_key, _M_key);
}
}
- __losers[0]._M_sup = _M_sup;
- __losers[0]._M_source = _M_source;
- __losers[0]._M_key = _M_key;
+ _M_losers[0]._M_sup = _M_sup;
+ _M_losers[0]._M_source = _M_source;
+ _M_losers[0]._M_key = _M_key;
}
};
/**
- * @brief Unstable LoserTree variant.
+ * @brief Unstable _LoserTree variant.
*
* Stability (non-stable here) is selected with partial specialization.
*/
template<typename _Tp, typename _Compare>
-class LoserTree</* __stable == */false, _Tp, _Compare> :
- public LoserTreeBase<_Tp, _Compare>
+class _LoserTree</* __stable == */false, _Tp, _Compare> :
+ public _LoserTreeBase<_Tp, _Compare>
{
- typedef LoserTreeBase<_Tp, _Compare> Base;
+ typedef _LoserTreeBase<_Tp, _Compare> Base;
using Base::_M_log_k;
- using Base::__k;
- using Base::__losers;
- using Base::__first_insert;
+ using Base::_M_k;
+ using Base::_M_losers;
+ using Base::_M_first_insert;
public:
- LoserTree(unsigned int _k, _Compare _comp)
- : Base::LoserTreeBase(_k, _comp)
+ _LoserTree(unsigned int __k, _Compare __comp)
+ : Base::_LoserTreeBase(__k, __comp)
{}
/**
unsigned int
__init_winner (unsigned int __root)
{
- if (__root >= __k)
+ if (__root >= _M_k)
{
return __root;
}
{
unsigned int __left = __init_winner (2 * __root);
unsigned int __right = __init_winner (2 * __root + 1);
- if (__losers[__right]._M_sup ||
- (!__losers[__left]._M_sup
- && !__comp(__losers[__right]._M_key, __losers[__left]._M_key)))
+ if (_M_losers[__right]._M_sup ||
+ (!_M_losers[__left]._M_sup
+ && !_M_comp(_M_losers[__right]._M_key, _M_losers[__left]._M_key)))
{
// Left one is less or equal.
- __losers[__root] = __losers[__right];
+ _M_losers[__root] = _M_losers[__right];
return __left;
}
else
{
// Right one is less.
- __losers[__root] = __losers[__left];
+ _M_losers[__root] = _M_losers[__left];
return __right;
}
}
inline void
__init()
- { __losers[0] = __losers[__init_winner(1)]; }
+ { _M_losers[0] = _M_losers[__init_winner(1)]; }
/**
* Delete the _M_key smallest element and insert the element _M_key instead.
{
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top!
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
- int _M_source = __losers[0]._M_source;
- for (unsigned int __pos = (__k + _M_source) / 2; __pos > 0; __pos /= 2)
+ int _M_source = _M_losers[0]._M_source;
+ for (unsigned int __pos = (_M_k + _M_source) / 2; __pos > 0; __pos /= 2)
{
// The smaller one gets promoted.
- if (_M_sup || (!__losers[__pos]._M_sup && __comp(__losers[__pos]._M_key, _M_key)))
+ if (_M_sup || (!_M_losers[__pos]._M_sup && _M_comp(_M_losers[__pos]._M_key, _M_key)))
{
// The other one is smaller.
- std::swap(__losers[__pos]._M_sup, _M_sup);
- std::swap(__losers[__pos]._M_source, _M_source);
- std::swap(__losers[__pos]._M_key, _M_key);
+ std::swap(_M_losers[__pos]._M_sup, _M_sup);
+ std::swap(_M_losers[__pos]._M_source, _M_source);
+ std::swap(_M_losers[__pos]._M_key, _M_key);
}
}
- __losers[0]._M_sup = _M_sup;
- __losers[0]._M_source = _M_source;
- __losers[0]._M_key = _M_key;
+ _M_losers[0]._M_sup = _M_sup;
+ _M_losers[0]._M_source = _M_source;
+ _M_losers[0]._M_key = _M_key;
}
};
class _LoserTreePointerBase
{
protected:
- /** @brief Internal representation of LoserTree __elements. */
+ /** @brief Internal representation of _LoserTree __elements. */
struct _Loser
{
bool _M_sup;
const _Tp* _M_keyp;
};
- unsigned int __ik, __k, __offset;
- _Loser* __losers;
- _Compare __comp;
+ unsigned int _M_ik, _M_k, _M_offset;
+ _Loser* _M_losers;
+ _Compare _M_comp;
public:
- _LoserTreePointerBase(unsigned int _k, _Compare _comp = std::less<_Tp>())
- : __comp(_comp)
+ _LoserTreePointerBase(unsigned int __k, _Compare __comp = std::less<_Tp>())
+ : _M_comp(__comp)
{
- __ik = _k;
+ _M_ik = __k;
// Next greater power of 2.
- __k = 1 << (__log2(__ik - 1) + 1);
- __offset = __k;
- __losers = new _Loser[__k * 2];
- for (unsigned int __i = __ik - 1; __i < __k; __i++)
- __losers[__i + __k]._M_sup = true;
+ _M_k = 1 << (__log2(_M_ik - 1) + 1);
+ _M_offset = _M_k;
+ _M_losers = new _Loser[_M_k * 2];
+ for (unsigned int __i = _M_ik - 1; __i < _M_k; __i++)
+ _M_losers[__i + _M_k]._M_sup = true;
}
~_LoserTreePointerBase()
- { ::operator delete[](__losers); }
+ { ::operator delete[](_M_losers); }
int __get_min_source()
- { return __losers[0]._M_source; }
+ { return _M_losers[0]._M_source; }
void __insert_start(const _Tp& _M_key, int _M_source, bool _M_sup)
{
- unsigned int __pos = __k + _M_source;
+ unsigned int __pos = _M_k + _M_source;
- __losers[__pos]._M_sup = _M_sup;
- __losers[__pos]._M_source = _M_source;
- __losers[__pos]._M_keyp = &_M_key;
+ _M_losers[__pos]._M_sup = _M_sup;
+ _M_losers[__pos]._M_source = _M_source;
+ _M_losers[__pos]._M_keyp = &_M_key;
}
};
/**
- * @brief Stable LoserTree implementation.
+ * @brief Stable _LoserTree implementation.
*
* The unstable variant is implemented using partial instantiation below.
*/
class _LoserTreePointer : public _LoserTreePointerBase<_Tp, _Compare>
{
typedef _LoserTreePointerBase<_Tp, _Compare> Base;
- using Base::__k;
- using Base::__losers;
+ using Base::_M_k;
+ using Base::_M_losers;
public:
- _LoserTreePointer(unsigned int _k, _Compare _comp = std::less<_Tp>())
- : Base::_LoserTreePointerBase(_k, _comp)
+ _LoserTreePointer(unsigned int __k, _Compare __comp = std::less<_Tp>())
+ : Base::_LoserTreePointerBase(__k, __comp)
{}
unsigned int
__init_winner(unsigned int __root)
{
- if (__root >= __k)
+ if (__root >= _M_k)
{
return __root;
}
{
unsigned int __left = __init_winner (2 * __root);
unsigned int __right = __init_winner (2 * __root + 1);
- if (__losers[__right]._M_sup
- || (!__losers[__left]._M_sup && !__comp(*__losers[__right]._M_keyp,
- *__losers[__left]._M_keyp)))
+ if (_M_losers[__right]._M_sup
+ || (!_M_losers[__left]._M_sup && !_M_comp(*_M_losers[__right]._M_keyp,
+ *_M_losers[__left]._M_keyp)))
{
// Left one is less or equal.
- __losers[__root] = __losers[__right];
+ _M_losers[__root] = _M_losers[__right];
return __left;
}
else
{
// Right one is less.
- __losers[__root] = __losers[__left];
+ _M_losers[__root] = _M_losers[__left];
return __right;
}
}
}
void __init()
- { __losers[0] = __losers[__init_winner(1)]; }
+ { _M_losers[0] = _M_losers[__init_winner(1)]; }
void __delete_min_insert(const _Tp& _M_key, bool _M_sup)
{
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top!
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
const _Tp* _M_keyp = &_M_key;
- int _M_source = __losers[0]._M_source;
- for (unsigned int __pos = (__k + _M_source) / 2; __pos > 0; __pos /= 2)
+ int _M_source = _M_losers[0]._M_source;
+ for (unsigned int __pos = (_M_k + _M_source) / 2; __pos > 0; __pos /= 2)
{
// The smaller one gets promoted, ties are broken by _M_source.
- if ((_M_sup && (!__losers[__pos]._M_sup || __losers[__pos]._M_source < _M_source)) ||
- (!_M_sup && !__losers[__pos]._M_sup &&
- ((__comp(*__losers[__pos]._M_keyp, *_M_keyp)) ||
- (!__comp(*_M_keyp, *__losers[__pos]._M_keyp)
- && __losers[__pos]._M_source < _M_source))))
+ if ((_M_sup && (!_M_losers[__pos]._M_sup || _M_losers[__pos]._M_source < _M_source)) ||
+ (!_M_sup && !_M_losers[__pos]._M_sup &&
+ ((_M_comp(*_M_losers[__pos]._M_keyp, *_M_keyp)) ||
+ (!_M_comp(*_M_keyp, *_M_losers[__pos]._M_keyp)
+ && _M_losers[__pos]._M_source < _M_source))))
{
// The other one is smaller.
- std::swap(__losers[__pos]._M_sup, _M_sup);
- std::swap(__losers[__pos]._M_source, _M_source);
- std::swap(__losers[__pos]._M_keyp, _M_keyp);
+ std::swap(_M_losers[__pos]._M_sup, _M_sup);
+ std::swap(_M_losers[__pos]._M_source, _M_source);
+ std::swap(_M_losers[__pos]._M_keyp, _M_keyp);
}
}
- __losers[0]._M_sup = _M_sup;
- __losers[0]._M_source = _M_source;
- __losers[0]._M_keyp = _M_keyp;
+ _M_losers[0]._M_sup = _M_sup;
+ _M_losers[0]._M_source = _M_source;
+ _M_losers[0]._M_keyp = _M_keyp;
}
};
/**
- * @brief Unstable LoserTree implementation.
+ * @brief Unstable _LoserTree implementation.
*
* The stable variant is above.
*/
public _LoserTreePointerBase<_Tp, _Compare>
{
typedef _LoserTreePointerBase<_Tp, _Compare> Base;
- using Base::__k;
- using Base::__losers;
+ using Base::_M_k;
+ using Base::_M_losers;
public:
- _LoserTreePointer(unsigned int _k, _Compare _comp = std::less<_Tp>())
- : Base::_LoserTreePointerBase(_k, _comp)
+ _LoserTreePointer(unsigned int __k, _Compare __comp = std::less<_Tp>())
+ : Base::_LoserTreePointerBase(__k, __comp)
{}
unsigned int
__init_winner(unsigned int __root)
{
- if (__root >= __k)
+ if (__root >= _M_k)
{
return __root;
}
{
unsigned int __left = __init_winner (2 * __root);
unsigned int __right = __init_winner (2 * __root + 1);
- if (__losers[__right]._M_sup
- || (!__losers[__left]._M_sup
- && !__comp(*__losers[__right]._M_keyp, *__losers[__left]._M_keyp)))
+ if (_M_losers[__right]._M_sup
+ || (!_M_losers[__left]._M_sup
+ && !_M_comp(*_M_losers[__right]._M_keyp, *_M_losers[__left]._M_keyp)))
{
// Left one is less or equal.
- __losers[__root] = __losers[__right];
+ _M_losers[__root] = _M_losers[__right];
return __left;
}
else
{
// Right one is less.
- __losers[__root] = __losers[__left];
+ _M_losers[__root] = _M_losers[__left];
return __right;
}
}
}
void __init()
- { __losers[0] = __losers[__init_winner(1)]; }
+ { _M_losers[0] = _M_losers[__init_winner(1)]; }
void __delete_min_insert(const _Tp& _M_key, bool _M_sup)
{
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top!
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
const _Tp* _M_keyp = &_M_key;
- int _M_source = __losers[0]._M_source;
- for (unsigned int __pos = (__k + _M_source) / 2; __pos > 0; __pos /= 2)
+ int _M_source = _M_losers[0]._M_source;
+ for (unsigned int __pos = (_M_k + _M_source) / 2; __pos > 0; __pos /= 2)
{
// The smaller one gets promoted.
- if (_M_sup || (!__losers[__pos]._M_sup && __comp(*__losers[__pos]._M_keyp, *_M_keyp)))
+ if (_M_sup || (!_M_losers[__pos]._M_sup && _M_comp(*_M_losers[__pos]._M_keyp, *_M_keyp)))
{
// The other one is smaller.
- std::swap(__losers[__pos]._M_sup, _M_sup);
- std::swap(__losers[__pos]._M_source, _M_source);
- std::swap(__losers[__pos]._M_keyp, _M_keyp);
+ std::swap(_M_losers[__pos]._M_sup, _M_sup);
+ std::swap(_M_losers[__pos]._M_source, _M_source);
+ std::swap(_M_losers[__pos]._M_keyp, _M_keyp);
}
}
- __losers[0]._M_sup = _M_sup;
- __losers[0]._M_source = _M_source;
- __losers[0]._M_keyp = _M_keyp;
+ _M_losers[0]._M_sup = _M_sup;
+ _M_losers[0]._M_source = _M_source;
+ _M_losers[0]._M_keyp = _M_keyp;
}
};
-/** @brief Base class for unguarded LoserTree implementation.
+/** @brief Base class for unguarded _LoserTree implementation.
*
* The whole element is copied into the tree structure.
*
_Tp _M_key;
};
- unsigned int __ik, __k, __offset;
- _Loser* __losers;
- _Compare __comp;
+ unsigned int _M_ik, _M_k, _M_offset;
+ _Loser* _M_losers;
+ _Compare _M_comp;
public:
inline
- _LoserTreeUnguardedBase(unsigned int _k, const _Tp _sentinel,
- _Compare _comp = std::less<_Tp>())
- : __comp(_comp)
+ _LoserTreeUnguardedBase(unsigned int __k, const _Tp _sentinel,
+ _Compare __comp = std::less<_Tp>())
+ : _M_comp(__comp)
{
- __ik = _k;
+ _M_ik = __k;
// Next greater power of 2.
- __k = 1 << (__log2(__ik - 1) + 1);
- __offset = __k;
- // Avoid default-constructing __losers[]._M_key
- __losers = static_cast<_Loser*>(::operator new(2 * __k * sizeof(_Loser)));
+ _M_k = 1 << (__log2(_M_ik - 1) + 1);
+ _M_offset = _M_k;
+ // Avoid default-constructing _M_losers[]._M_key
+ _M_losers = static_cast<_Loser*>(::operator new(2 * _M_k * sizeof(_Loser)));
- for (unsigned int __i = __k + __ik - 1; __i < (2 * __k); ++__i)
+ for (unsigned int __i = _M_k + _M_ik - 1; __i < (2 * _M_k); ++__i)
{
- __losers[__i]._M_key = _sentinel;
- __losers[__i]._M_source = -1;
+ _M_losers[__i]._M_key = _sentinel;
+ _M_losers[__i]._M_source = -1;
}
}
inline ~_LoserTreeUnguardedBase()
- { ::operator delete(__losers); }
+ { ::operator delete(_M_losers); }
inline int
__get_min_source()
{
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top!
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
- return __losers[0]._M_source;
+ return _M_losers[0]._M_source;
}
inline void
__insert_start(const _Tp& _M_key, int _M_source, bool)
{
- unsigned int __pos = __k + _M_source;
+ unsigned int __pos = _M_k + _M_source;
- new(&(__losers[__pos]._M_key)) _Tp(_M_key);
- __losers[__pos]._M_source = _M_source;
+ new(&(_M_losers[__pos]._M_key)) _Tp(_M_key);
+ _M_losers[__pos]._M_source = _M_source;
}
};
/**
- * @brief Stable implementation of unguarded LoserTree.
+ * @brief Stable implementation of unguarded _LoserTree.
*
* Unstable variant is selected below with partial specialization.
*/
class _LoserTreeUnguarded : public _LoserTreeUnguardedBase<_Tp, _Compare>
{
typedef _LoserTreeUnguardedBase<_Tp, _Compare> Base;
- using Base::__k;
- using Base::__losers;
+ using Base::_M_k;
+ using Base::_M_losers;
public:
- _LoserTreeUnguarded(unsigned int _k, const _Tp _sentinel,
- _Compare _comp = std::less<_Tp>())
- : Base::_LoserTreeUnguardedBase(_k, _sentinel, _comp)
+ _LoserTreeUnguarded(unsigned int __k, const _Tp _sentinel,
+ _Compare __comp = std::less<_Tp>())
+ : Base::_LoserTreeUnguardedBase(__k, _sentinel, __comp)
{}
unsigned int
__init_winner(unsigned int __root)
{
- if (__root >= __k)
+ if (__root >= _M_k)
{
return __root;
}
{
unsigned int __left = __init_winner (2 * __root);
unsigned int __right = __init_winner (2 * __root + 1);
- if (!__comp(__losers[__right]._M_key, __losers[__left]._M_key))
+ if (!_M_comp(_M_losers[__right]._M_key, _M_losers[__left]._M_key))
{
// Left one is less or equal.
- __losers[__root] = __losers[__right];
+ _M_losers[__root] = _M_losers[__right];
return __left;
}
else
{
// Right one is less.
- __losers[__root] = __losers[__left];
+ _M_losers[__root] = _M_losers[__left];
return __right;
}
}
inline void
__init()
{
- __losers[0] = __losers[__init_winner(1)];
+ _M_losers[0] = _M_losers[__init_winner(1)];
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top at the beginning (0 sequences!)
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
}
{
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top!
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
- int _M_source = __losers[0]._M_source;
- for (unsigned int __pos = (__k + _M_source) / 2; __pos > 0; __pos /= 2)
+ int _M_source = _M_losers[0]._M_source;
+ for (unsigned int __pos = (_M_k + _M_source) / 2; __pos > 0; __pos /= 2)
{
// The smaller one gets promoted, ties are broken by _M_source.
- if (__comp(__losers[__pos]._M_key, _M_key)
- || (!__comp(_M_key, __losers[__pos]._M_key) && __losers[__pos]._M_source < _M_source))
+ if (_M_comp(_M_losers[__pos]._M_key, _M_key)
+ || (!_M_comp(_M_key, _M_losers[__pos]._M_key) && _M_losers[__pos]._M_source < _M_source))
{
// The other one is smaller.
- std::swap(__losers[__pos]._M_source, _M_source);
- std::swap(__losers[__pos]._M_key, _M_key);
+ std::swap(_M_losers[__pos]._M_source, _M_source);
+ std::swap(_M_losers[__pos]._M_key, _M_key);
}
}
- __losers[0]._M_source = _M_source;
- __losers[0]._M_key = _M_key;
+ _M_losers[0]._M_source = _M_source;
+ _M_losers[0]._M_key = _M_key;
}
};
/**
- * @brief Non-Stable implementation of unguarded LoserTree.
+ * @brief Non-Stable implementation of unguarded _LoserTree.
*
* Stable implementation is above.
*/
public _LoserTreeUnguardedBase<_Tp, _Compare>
{
typedef _LoserTreeUnguardedBase<_Tp, _Compare> Base;
- using Base::__k;
- using Base::__losers;
+ using Base::_M_k;
+ using Base::_M_losers;
public:
- _LoserTreeUnguarded(unsigned int _k, const _Tp _sentinel,
- _Compare _comp = std::less<_Tp>())
- : Base::_LoserTreeUnguardedBase(_k, _sentinel, _comp)
+ _LoserTreeUnguarded(unsigned int __k, const _Tp _sentinel,
+ _Compare __comp = std::less<_Tp>())
+ : Base::_LoserTreeUnguardedBase(__k, _sentinel, __comp)
{}
unsigned int
__init_winner (unsigned int __root)
{
- if (__root >= __k)
+ if (__root >= _M_k)
{
return __root;
}
#if _GLIBCXX_ASSERTIONS
// If __left one is sentinel then __right one must be, too.
- if (__losers[__left]._M_source == -1)
- _GLIBCXX_PARALLEL_ASSERT(__losers[__right]._M_source == -1);
+ if (_M_losers[__left]._M_source == -1)
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[__right]._M_source == -1);
#endif
- if (!__comp(__losers[__right]._M_key, __losers[__left]._M_key))
+ if (!_M_comp(_M_losers[__right]._M_key, _M_losers[__left]._M_key))
{
// Left one is less or equal.
- __losers[__root] = __losers[__right];
+ _M_losers[__root] = _M_losers[__right];
return __left;
}
else
{
// Right one is less.
- __losers[__root] = __losers[__left];
+ _M_losers[__root] = _M_losers[__left];
return __right;
}
}
inline void
__init()
{
- __losers[0] = __losers[__init_winner(1)];
+ _M_losers[0] = _M_losers[__init_winner(1)];
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top at the beginning (0 sequences!)
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
}
{
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top!
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
- int _M_source = __losers[0]._M_source;
- for (unsigned int __pos = (__k + _M_source) / 2; __pos > 0; __pos /= 2)
+ int _M_source = _M_losers[0]._M_source;
+ for (unsigned int __pos = (_M_k + _M_source) / 2; __pos > 0; __pos /= 2)
{
// The smaller one gets promoted.
- if (__comp(__losers[__pos]._M_key, _M_key))
+ if (_M_comp(_M_losers[__pos]._M_key, _M_key))
{
// The other one is smaller.
- std::swap(__losers[__pos]._M_source, _M_source);
- std::swap(__losers[__pos]._M_key, _M_key);
+ std::swap(_M_losers[__pos]._M_source, _M_source);
+ std::swap(_M_losers[__pos]._M_key, _M_key);
}
}
- __losers[0]._M_source = _M_source;
- __losers[0]._M_key = _M_key;
+ _M_losers[0]._M_source = _M_source;
+ _M_losers[0]._M_key = _M_key;
}
};
const _Tp* _M_keyp;
};
- unsigned int __ik, __k, __offset;
- _Loser* __losers;
- _Compare __comp;
+ unsigned int _M_ik, _M_k, _M_offset;
+ _Loser* _M_losers;
+ _Compare _M_comp;
public:
inline
- LoserTreePointerUnguardedBase(unsigned int _k, const _Tp& _sentinel,
- _Compare _comp = std::less<_Tp>())
- : __comp(_comp)
+ LoserTreePointerUnguardedBase(unsigned int __k, const _Tp& _sentinel,
+ _Compare __comp = std::less<_Tp>())
+ : _M_comp(__comp)
{
- __ik = _k;
+ _M_ik = __k;
// Next greater power of 2.
- __k = 1 << (__log2(__ik - 1) + 1);
- __offset = __k;
- // Avoid default-constructing __losers[]._M_key
- __losers = new _Loser[2 * __k];
+ _M_k = 1 << (__log2(_M_ik - 1) + 1);
+ _M_offset = _M_k;
+ // Avoid default-constructing _M_losers[]._M_key
+ _M_losers = new _Loser[2 * _M_k];
- for (unsigned int __i = __k + __ik - 1; __i < (2 * __k); ++__i)
+ for (unsigned int __i = _M_k + _M_ik - 1; __i < (2 * _M_k); ++__i)
{
- __losers[__i]._M_keyp = &_sentinel;
- __losers[__i]._M_source = -1;
+ _M_losers[__i]._M_keyp = &_sentinel;
+ _M_losers[__i]._M_source = -1;
}
}
inline ~LoserTreePointerUnguardedBase()
- { delete[] __losers; }
+ { delete[] _M_losers; }
inline int
__get_min_source()
{
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top!
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
- return __losers[0]._M_source;
+ return _M_losers[0]._M_source;
}
inline void
__insert_start(const _Tp& _M_key, int _M_source, bool)
{
- unsigned int __pos = __k + _M_source;
+ unsigned int __pos = _M_k + _M_source;
- __losers[__pos]._M_keyp = &_M_key;
- __losers[__pos]._M_source = _M_source;
+ _M_losers[__pos]._M_keyp = &_M_key;
+ _M_losers[__pos]._M_source = _M_source;
}
};
/**
- * @brief Stable unguarded LoserTree variant storing pointers.
+ * @brief Stable unguarded _LoserTree variant storing pointers.
*
* Unstable variant is implemented below using partial specialization.
*/
public LoserTreePointerUnguardedBase<_Tp, _Compare>
{
typedef LoserTreePointerUnguardedBase<_Tp, _Compare> Base;
- using Base::__k;
- using Base::__losers;
+ using Base::_M_k;
+ using Base::_M_losers;
public:
- LoserTreePointerUnguarded(unsigned int _k, const _Tp& _sentinel,
- _Compare _comp = std::less<_Tp>())
- : Base::LoserTreePointerUnguardedBase(_k, _sentinel, _comp)
+ LoserTreePointerUnguarded(unsigned int __k, const _Tp& _sentinel,
+ _Compare __comp = std::less<_Tp>())
+ : Base::LoserTreePointerUnguardedBase(__k, _sentinel, __comp)
{}
unsigned int
__init_winner(unsigned int __root)
{
- if (__root >= __k)
+ if (__root >= _M_k)
{
return __root;
}
{
unsigned int __left = __init_winner (2 * __root);
unsigned int __right = __init_winner (2 * __root + 1);
- if (!__comp(*__losers[__right]._M_keyp, *__losers[__left]._M_keyp))
+ if (!_M_comp(*_M_losers[__right]._M_keyp, *_M_losers[__left]._M_keyp))
{
// Left one is less or equal.
- __losers[__root] = __losers[__right];
+ _M_losers[__root] = _M_losers[__right];
return __left;
}
else
{
// Right one is less.
- __losers[__root] = __losers[__left];
+ _M_losers[__root] = _M_losers[__left];
return __right;
}
}
inline void
__init()
{
- __losers[0] = __losers[__init_winner(1)];
+ _M_losers[0] = _M_losers[__init_winner(1)];
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top at the beginning (0 sequences!)
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
}
{
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top!
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
const _Tp* _M_keyp = &_M_key;
- int _M_source = __losers[0]._M_source;
- for (unsigned int __pos = (__k + _M_source) / 2; __pos > 0; __pos /= 2)
+ int _M_source = _M_losers[0]._M_source;
+ for (unsigned int __pos = (_M_k + _M_source) / 2; __pos > 0; __pos /= 2)
{
// The smaller one gets promoted, ties are broken by _M_source.
- if (__comp(*__losers[__pos]._M_keyp, *_M_keyp)
- || (!__comp(*_M_keyp, *__losers[__pos]._M_keyp) && __losers[__pos]._M_source < _M_source))
+ if (_M_comp(*_M_losers[__pos]._M_keyp, *_M_keyp)
+ || (!_M_comp(*_M_keyp, *_M_losers[__pos]._M_keyp) && _M_losers[__pos]._M_source < _M_source))
{
// The other one is smaller.
- std::swap(__losers[__pos]._M_source, _M_source);
- std::swap(__losers[__pos]._M_keyp, _M_keyp);
+ std::swap(_M_losers[__pos]._M_source, _M_source);
+ std::swap(_M_losers[__pos]._M_keyp, _M_keyp);
}
}
- __losers[0]._M_source = _M_source;
- __losers[0]._M_keyp = _M_keyp;
+ _M_losers[0]._M_source = _M_source;
+ _M_losers[0]._M_keyp = _M_keyp;
}
};
/**
- * @brief Unstable unguarded LoserTree variant storing pointers.
+ * @brief Unstable unguarded _LoserTree variant storing pointers.
*
* Stable variant is above.
*/
public LoserTreePointerUnguardedBase<_Tp, _Compare>
{
typedef LoserTreePointerUnguardedBase<_Tp, _Compare> Base;
- using Base::__k;
- using Base::__losers;
+ using Base::_M_k;
+ using Base::_M_losers;
public:
- LoserTreePointerUnguarded(unsigned int _k, const _Tp& _sentinel,
- _Compare _comp = std::less<_Tp>())
- : Base::LoserTreePointerUnguardedBase(_k, _sentinel, _comp)
+ LoserTreePointerUnguarded(unsigned int __k, const _Tp& _sentinel,
+ _Compare __comp = std::less<_Tp>())
+ : Base::LoserTreePointerUnguardedBase(__k, _sentinel, __comp)
{}
unsigned int
__init_winner(unsigned int __root)
{
- if (__root >= __k)
+ if (__root >= _M_k)
{
return __root;
}
#if _GLIBCXX_ASSERTIONS
// If __left one is sentinel then __right one must be, too.
- if (__losers[__left]._M_source == -1)
- _GLIBCXX_PARALLEL_ASSERT(__losers[__right]._M_source == -1);
+ if (_M_losers[__left]._M_source == -1)
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[__right]._M_source == -1);
#endif
- if (!__comp(*__losers[__right]._M_keyp, *__losers[__left]._M_keyp))
+ if (!_M_comp(*_M_losers[__right]._M_keyp, *_M_losers[__left]._M_keyp))
{
// Left one is less or equal.
- __losers[__root] = __losers[__right];
+ _M_losers[__root] = _M_losers[__right];
return __left;
}
else
{
// Right one is less.
- __losers[__root] = __losers[__left];
+ _M_losers[__root] = _M_losers[__left];
return __right;
}
}
inline void
__init()
{
- __losers[0] = __losers[__init_winner(1)];
+ _M_losers[0] = _M_losers[__init_winner(1)];
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top at the beginning (0 sequences!)
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
}
{
#if _GLIBCXX_ASSERTIONS
// no dummy sequence can ever be at the top!
- _GLIBCXX_PARALLEL_ASSERT(__losers[0]._M_source != -1);
+ _GLIBCXX_PARALLEL_ASSERT(_M_losers[0]._M_source != -1);
#endif
const _Tp* _M_keyp = &_M_key;
- int _M_source = __losers[0]._M_source;
- for (unsigned int __pos = (__k + _M_source) / 2; __pos > 0; __pos /= 2)
+ int _M_source = _M_losers[0]._M_source;
+ for (unsigned int __pos = (_M_k + _M_source) / 2; __pos > 0; __pos /= 2)
{
// The smaller one gets promoted.
- if (__comp(*(__losers[__pos]._M_keyp), *_M_keyp))
+ if (_M_comp(*(_M_losers[__pos]._M_keyp), *_M_keyp))
{
// The other one is smaller.
- std::swap(__losers[__pos]._M_source, _M_source);
- std::swap(__losers[__pos]._M_keyp, _M_keyp);
+ std::swap(_M_losers[__pos]._M_source, _M_source);
+ std::swap(_M_losers[__pos]._M_keyp, _M_keyp);
}
}
- __losers[0]._M_source = _M_source;
- __losers[0]._M_keyp = _M_keyp;
+ _M_losers[0]._M_source = _M_source;
+ _M_losers[0]._M_keyp = _M_keyp;
}
};
typedef typename _TraitsType::difference_type _DifferenceType;
typedef typename std::pair<_IIter, _IIter> _IteratorPair;
- symmetric_difference_func(_Compare __c) : __comp(__c) {}
+ symmetric_difference_func(_Compare __comp) : _M_comp(__comp) {}
- _Compare __comp;
+ _Compare _M_comp;
_OutputIterator
_M_invoke(_IIter __a, _IIter __b,
{
while (__a != __b && __c != d)
{
- if (__comp(*__a, *__c))
+ if (_M_comp(*__a, *__c))
{
*__r = *__a;
++__a;
++__r;
}
- else if (__comp(*__c, *__a))
+ else if (_M_comp(*__c, *__a))
{
*__r = *__c;
++__c;
while (__a != __b && __c != d)
{
- if (__comp(*__a, *__c))
+ if (_M_comp(*__a, *__c))
{
++__a;
++__counter;
}
- else if (__comp(*__c, *__a))
+ else if (_M_comp(*__c, *__a))
{
++__c;
++__counter;
typedef typename _TraitsType::difference_type _DifferenceType;
typedef typename std::pair<_IIter, _IIter> _IteratorPair;
- __difference_func(_Compare __c) : __comp(__c) {}
+ __difference_func(_Compare __comp) : _M_comp(__comp) {}
- _Compare __comp;
+ _Compare _M_comp;
_OutputIterator
_M_invoke(_IIter __a, _IIter __b, _IIter __c, _IIter d,
{
while (__a != __b && __c != d)
{
- if (__comp(*__a, *__c))
+ if (_M_comp(*__a, *__c))
{
*__r = *__a;
++__a;
++__r;
}
- else if (__comp(*__c, *__a))
+ else if (_M_comp(*__c, *__a))
{ ++__c; }
else
{
while (__a != __b && __c != d)
{
- if (__comp(*__a, *__c))
+ if (_M_comp(*__a, *__c))
{
++__a;
++__counter;
}
- else if (__comp(*__c, *__a))
+ else if (_M_comp(*__c, *__a))
{ ++__c; }
else
{ ++__a; ++__c; }
typedef typename _TraitsType::difference_type _DifferenceType;
typedef typename std::pair<_IIter, _IIter> _IteratorPair;
- __intersection_func(_Compare __c) : __comp(__c) {}
+ __intersection_func(_Compare __comp) : _M_comp(__comp) {}
- _Compare __comp;
+ _Compare _M_comp;
_OutputIterator
_M_invoke(_IIter __a, _IIter __b, _IIter __c, _IIter d,
{
while (__a != __b && __c != d)
{
- if (__comp(*__a, *__c))
+ if (_M_comp(*__a, *__c))
{ ++__a; }
- else if (__comp(*__c, *__a))
+ else if (_M_comp(*__c, *__a))
{ ++__c; }
else
{
while (__a != __b && __c != d)
{
- if (__comp(*__a, *__c))
+ if (_M_comp(*__a, *__c))
{ ++__a; }
- else if (__comp(*__c, *__a))
+ else if (_M_comp(*__c, *__a))
{ ++__c; }
else
{
typedef typename std::iterator_traits<_IIter>::difference_type
_DifferenceType;
- __union_func(_Compare __c) : __comp(__c) {}
+ __union_func(_Compare __comp) : _M_comp(__comp) {}
- _Compare __comp;
+ _Compare _M_comp;
_OutputIterator
_M_invoke(_IIter __a, const _IIter __b, _IIter __c,
{
while (__a != __b && __c != d)
{
- if (__comp(*__a, *__c))
+ if (_M_comp(*__a, *__c))
{
*__r = *__a;
++__a;
}
- else if (__comp(*__c, *__a))
+ else if (_M_comp(*__c, *__a))
{
*__r = *__c;
++__c;
while (__a != __b && __c != d)
{
- if (__comp(*__a, *__c))
+ if (_M_comp(*__a, *__c))
{ ++__a; }
- else if (__comp(*__c, *__a))
+ else if (_M_comp(*__c, *__a))
{ ++__c; }
else
{
_IIter __offset[2];
const _DifferenceType __rank = __borders[__iam + 1];
- multiseq_partition(__sequence, __sequence + 2, __rank, __offset, __op.__comp);
+ multiseq_partition(__sequence, __sequence + 2, __rank, __offset, __op._M_comp);
// allowed to read?
// together
// *(__offset[ 0 ] - 1) == *__offset[ 1 ]
if (__offset[ 0 ] != __begin1 && __offset[ 1 ] != __end2
- && !__op.__comp(*(__offset[ 0 ] - 1), *__offset[ 1 ])
- && !__op.__comp(*__offset[ 1 ], *(__offset[ 0 ] - 1)))
+ && !__op._M_comp(*(__offset[ 0 ] - 1), *__offset[ 1 ])
+ && !__op._M_comp(*__offset[ 1 ], *(__offset[ 0 ] - 1)))
{
// Avoid split between globally equal elements: move one to
// front in first sequence.
inline _OutputIterator
__parallel_set_union(_IIter __begin1, _IIter __end1,
_IIter __begin2, _IIter __end2,
- _OutputIterator __result, _Compare __comp)
+ _OutputIterator __result, _Compare _M_comp)
{
return __parallel_set_operation(__begin1, __end1, __begin2, __end2, __result,
- __union_func< _IIter, _OutputIterator, _Compare>(__comp));
+ __union_func< _IIter, _OutputIterator, _Compare>(_M_comp));
}
template<typename _IIter,
inline _OutputIterator
__parallel_set_intersection(_IIter __begin1, _IIter __end1,
_IIter __begin2, _IIter __end2,
- _OutputIterator __result, _Compare __comp)
+ _OutputIterator __result, _Compare _M_comp)
{
return __parallel_set_operation(__begin1, __end1, __begin2, __end2, __result,
- __intersection_func<_IIter, _OutputIterator, _Compare>(__comp));
+ __intersection_func<_IIter, _OutputIterator, _Compare>(_M_comp));
}
template<typename _IIter,
inline _OutputIterator
__parallel_set_difference(_IIter __begin1, _IIter __end1,
_IIter __begin2, _IIter __end2,
- _OutputIterator __result, _Compare __comp)
+ _OutputIterator __result, _Compare _M_comp)
{
return __parallel_set_operation(__begin1, __end1, __begin2, __end2, __result,
- __difference_func<_IIter, _OutputIterator, _Compare>(__comp));
+ __difference_func<_IIter, _OutputIterator, _Compare>(_M_comp));
}
template<typename _IIter,
inline _OutputIterator
__parallel_set_symmetric_difference(_IIter __begin1, _IIter __end1,
_IIter __begin2, _IIter __end2,
- _OutputIterator __result, _Compare __comp)
+ _OutputIterator __result, _Compare _M_comp)
{
return __parallel_set_operation(__begin1, __end1, __begin2, __end2, __result,
symmetric_difference_func<_IIter, _OutputIterator, _Compare>
- (__comp));
+ (_M_comp));
}
}