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 >:

List of all members.

Public Types
typedef RBase< BSGSIN, TRANSRET >::PERM	PERM
Public Member Functions
	SetImageSearch (const BSGSIN &bsgs, unsigned int pruningLevelDCM)
	constructor
template<class InputIterator >
void	construct (InputIterator begin, InputIterator end, InputIterator beginImg, InputIterator endImg)
	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::SetImageSearch< BSGSIN, TRANSRET >

coset representative search for a set image based on partition backtracking

tries to find a such that for two given sets

---

Constructor & Destructor Documentation

template<class BSGSIN , class TRANSRET >

permlib::partition::SetImageSearch< BSGSIN, TRANSRET >::SetImageSearch	(	const BSGSIN &	bsgs,
		unsigned int	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
	)

initializes search

Parameters:

begin	iterator(unsigned long) begin of the set
end	iterator(unsigned long) end of the set
beginImg	iterator(unsigned long) begin of the set
endImg	iterator(unsigned long) end of the set

---

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

• include/permlib/search/partition/set_image_search.h