89 BOOST_ASSERT( m_hasNext );
91 for (
int i = m_Upositions.size() - 1; i >= 0; --i) {
92 boost::scoped_ptr<PERM> u_beta( m_U[i].at( *m_Upositions[i] ) );
93 BOOST_ASSERT( u_beta );
99 for (i = m_Upositions.size() - 1; i >= 0; --i) {
101 if (m_Upositions[i] == m_U[i].end())
102 m_Upositions[i] = m_U[i].begin();