permlib  0.2.6
Library for permutation computations
 All Classes Functions Variables Typedefs Enumerations Friends
Public Types | Public Member Functions | Protected Member Functions
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 >:
permlib::partition::RBase< BSGSIN, TRANSRET > permlib::BaseSearch< BSGSIN, TRANSRET >

List of all members.

Public Types

typedef RBase< BSGSIN,
TRANSRET >::PERM 
PERM

Public Member Functions

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

Protected Member Functions

virtual unsigned int processNewFixPoints (const Partition &pi, unsigned int 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,
unsigned int  pruningLevelDCM 
)

constructor

Parameters:
bsgsBSGS of group
pruningLevelDCMlevel 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 
)

initializes search

Parameters:
beginiterator(unsigned long) begin of the set to be stabilized
enditerator(unsigned long) end of the set to be stabilized

The documentation for this class was generated from the following file: