coset representative search for a set image based on classical backtracking More...
#include <set_image_search.h>
Public Types | |
typedef BacktrackSearch < BSGSIN, TRANSRET >::PERM | PERM |
typedef BacktrackSearch < BSGSIN, TRANSRET >::PERM | PERM |
Public Member Functions | |
SetImageSearch (const BSGSIN &bsgs, uint pruningLevelDCM) | |
constructor | |
template<class InputIterator > | |
void | construct (InputIterator begin, InputIterator end, InputIterator beginImg, InputIterator endImg) |
initializes search | |
SetImageSearch (const BSGSIN &bsgs, uint pruningLevelDCM) | |
constructor | |
template<class InputIterator > | |
void | construct (InputIterator begin, InputIterator end, InputIterator beginImg, InputIterator endImg) |
initializes search |
coset representative search for a set image based on classical backtracking
tries to find a such that
for two given sets
permlib::classic::SetImageSearch< BSGSIN, TRANSRET >::SetImageSearch | ( | const BSGSIN & | bsgs, | |
uint | pruningLevelDCM | |||
) | [inline] |
constructor
bsgs | BSGS of group | |
pruningLevelDCM | level up to which expensive double coset minimality pruning is performed; zero to disable |
permlib::classic::SetImageSearch< BSGSIN, TRANSRET >::SetImageSearch | ( | const BSGSIN & | bsgs, | |
uint | pruningLevelDCM | |||
) |
constructor
bsgs | BSGS of group | |
pruningLevelDCM | level up to which expensive double coset minimality pruning is performed; zero to disable |
void permlib::classic::SetImageSearch< BSGSIN, TRANSRET >::construct | ( | InputIterator | begin, | |
InputIterator | end, | |||
InputIterator | beginImg, | |||
InputIterator | endImg | |||
) | [inline] |
initializes search
begin | iterator(ulong) begin of the set ![]() | |
end | iterator(ulong) end of the set ![]() | |
beginImg | iterator(ulong) begin of the set ![]() | |
endImg | iterator(ulong) end of the set ![]() |
void permlib::classic::SetImageSearch< BSGSIN, TRANSRET >::construct | ( | InputIterator | begin, | |
InputIterator | end, | |||
InputIterator | beginImg, | |||
InputIterator | endImg | |||
) | [inline] |
initializes search
begin | iterator(ulong) begin of the set ![]() | |
end | iterator(ulong) end of the set ![]() | |
beginImg | iterator(ulong) begin of the set ![]() | |
endImg | iterator(ulong) end of the set ![]() |