33 #ifndef BSGSGENERATOR_H_ 34 #define BSGSGENERATOR_H_ 36 #include <permlib/common.h> 37 #include <permlib/generator/generator.h> 39 #include <boost/scoped_ptr.hpp> 47 template <
class TRANS>
50 typedef typename TRANS::PERMtype PERM;
62 const std::vector<TRANS>& m_U;
63 std::vector<std::list<unsigned long>::const_iterator > m_Upositions;
71 template <
class TRANS>
73 : m_U(U), m_Upositions(U.size()), m_hasNext(true)
75 for (
unsigned int i = 0; i < m_U.size(); ++i) {
76 m_Upositions[i] = m_U[i].begin();
81 template <
class TRANS>
87 template <
class TRANS>
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();
114 #endif // -- BSGSGENERATOR_H_ BSGSGenerator(const std::vector< TRANS > &U)
constructor
Definition: bsgs_generator.h:72
virtual PERM next()
generates an element
Definition: bsgs_generator.h:88
interface for group element generators
Definition: generator.h:40
virtual bool hasNext()
true, iff more elements can be generated
Definition: bsgs_generator.h:82
stateful generator of BSGS elements
Definition: bsgs_generator.h:48
Definition: abstract_bsgs.h:49