permlib  0.2.6
Library for permutation computations
 All Classes Functions Variables Typedefs Enumerations Friends
Public Types | Public Member Functions
permlib::classic::LexSmallerImageSearch< BSGSIN, TRANSRET > Class Template Reference

coset representative search for a lex-smaller set images More...

#include <lex_smaller_image_search.h>

Inheritance diagram for permlib::classic::LexSmallerImageSearch< BSGSIN, TRANSRET >:
permlib::classic::BacktrackSearch< BSGSIN, TRANSRET > permlib::BaseSearch< BSGSIN, TRANSRET >

List of all members.

Public Types

typedef BacktrackSearch
< BSGSIN, TRANSRET >::PERM 
PERM

Public Member Functions

 LexSmallerImageSearch (const BSGSIN &bsgs, unsigned int pruningLevelDCM)
 constructor
template<class InputIteratorZ , class InputIteratorO >
void construct (InputIteratorZ zerosBegin, InputIteratorZ zerosEnd, InputIteratorO onesBegin, InputIteratorO onesEnd)
 initializes search

Detailed Description

template<class BSGSIN, class TRANSRET>
class permlib::classic::LexSmallerImageSearch< BSGSIN, TRANSRET >

coset representative search for a lex-smaller set images

tries to find a $g$ such that $val(\Delta^g) <_{lex} val(\Delta)$


Constructor & Destructor Documentation

template<class BSGSIN , class TRANSRET >
permlib::classic::LexSmallerImageSearch< BSGSIN, TRANSRET >::LexSmallerImageSearch ( 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 InputIteratorZ , class InputIteratorO >
void permlib::classic::LexSmallerImageSearch< BSGSIN, TRANSRET >::construct ( InputIteratorZ  zerosBegin,
InputIteratorZ  zerosEnd,
InputIteratorO  onesBegin,
InputIteratorO  onesEnd 
)

initializes search

Parameters:
beginiterator(unsigned long) begin of the set $\Delta$
enditerator(unsigned long) end of the set $\Delta$
beginImgiterator(unsigned long) begin of the set $\Gamma$
endImgiterator(unsigned long) end of the set $\Gamma$

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