permlib::partition::SetStabilizerSearch< BSGSIN, TRANSRET > Class Template Reference

subgroup search for a set stabilizer based on partition backtracking More...

#include <set_stabilizer_search.h>

Inheritance diagram for permlib::partition::SetStabilizerSearch< BSGSIN, TRANSRET >:
Inheritance graph
[legend]

List of all members.

Public Types

typedef RBase< BSGSIN,
TRANSRET >::PERM 
PERM
typedef RBase< BSGSIN,
TRANSRET >::PERM 
PERM

Public Member Functions

 SetStabilizerSearch (const BSGSIN &bsgs, uint pruningLevelDCM)
 constructor
template<class InputIterator >
void construct (InputIterator begin, InputIterator end)
 initializes search
 SetStabilizerSearch (const BSGSIN &bsgs, uint pruningLevelDCM)
 constructor
template<class InputIterator >
void construct (InputIterator begin, InputIterator end)
 initializes search

Protected Member Functions

virtual uint processNewFixPoints (const Partition &pi, uint backtrackCount)
 callback when a new fix point appears during R-base construction
virtual uint processNewFixPoints (const Partition &pi, uint backtrackCount)
 callback when a new fix point appears during R-base construction

Detailed Description

template<class BSGSIN, class TRANSRET>
class permlib::partition::SetStabilizerSearch< BSGSIN, TRANSRET >

subgroup search for a set stabilizer based on partition backtracking


Constructor & Destructor Documentation

template<class BSGSIN , class TRANSRET >
permlib::partition::SetStabilizerSearch< BSGSIN, TRANSRET >::SetStabilizerSearch ( const BSGSIN &  bsgs,
uint  pruningLevelDCM 
) [inline]

constructor

Parameters:
bsgs BSGS of group
pruningLevelDCM level up to which expensive double coset minimality pruning is performed; zero to disable
template<class BSGSIN , class TRANSRET >
permlib::partition::SetStabilizerSearch< BSGSIN, TRANSRET >::SetStabilizerSearch ( const BSGSIN &  bsgs,
uint  pruningLevelDCM 
)

constructor

Parameters:
bsgs BSGS of group
pruningLevelDCM level up to which expensive double coset minimality pruning is performed; zero to disable

Member Function Documentation

template<class BSGSIN , class TRANSRET >
template<class InputIterator >
void permlib::partition::SetStabilizerSearch< BSGSIN, TRANSRET >::construct ( InputIterator  begin,
InputIterator  end 
) [inline]

initializes search

Parameters:
begin iterator(ulong) begin of the set to be stabilized
end iterator(ulong) end of the set to be stabilized
template<class BSGSIN , class TRANSRET >
template<class InputIterator >
void permlib::partition::SetStabilizerSearch< BSGSIN, TRANSRET >::construct ( InputIterator  begin,
InputIterator  end 
) [inline]

initializes search

Parameters:
begin iterator(ulong) begin of the set to be stabilized
end iterator(ulong) end of the set to be stabilized

The documentation for this class was generated from the following files:
Generated on Fri Jun 18 22:00:38 2010 for PermLib by  doxygen 1.6.3