coset representative search for a set image based on partition backtracking More...
#include <set_image_search.h>
Public Types | |
typedef RBase< BSGSIN, TRANSRET >::PERM | PERM |
typedef RBase< 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 | |
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 |
coset representative search for a set image based on partition backtracking
tries to find a such that
for two given sets
permlib::partition::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::partition::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::partition::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::partition::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 ![]() |