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

coset representative search for a set image based on partition backtracking More...

#include <set_image_search.h>

Inheritance diagram for permlib::partition::SetImageSearch< 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

 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

Detailed Description

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

coset representative search for a set image based on partition backtracking

tries to find a $g$ such that $\Delta^g = \Gamma$ for two given sets $\Delta,\Gamma$


Constructor & Destructor Documentation

template<class BSGSIN , class TRANSRET >
permlib::partition::SetImageSearch< BSGSIN, TRANSRET >::SetImageSearch ( 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::SetImageSearch< BSGSIN, TRANSRET >::SetImageSearch ( 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::SetImageSearch< BSGSIN, TRANSRET >::construct ( InputIterator  begin,
InputIterator  end,
InputIterator  beginImg,
InputIterator  endImg 
) [inline]

initializes search

Parameters:
begin iterator(ulong) begin of the set $\Delta$
end iterator(ulong) end of the set $\Delta$
beginImg iterator(ulong) begin of the set $\Gamma$
endImg iterator(ulong) end of the set $\Gamma$
template<class BSGSIN , class TRANSRET >
template<class InputIterator >
void permlib::partition::SetImageSearch< BSGSIN, TRANSRET >::construct ( InputIterator  begin,
InputIterator  end,
InputIterator  beginImg,
InputIterator  endImg 
) [inline]

initializes search

Parameters:
begin iterator(ulong) begin of the set $\Delta$
end iterator(ulong) end of the set $\Delta$
beginImg iterator(ulong) begin of the set $\Gamma$
endImg iterator(ulong) end of the set $\Gamma$

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