permlib::SetImagePredicate< PERM > Class Template Reference

coset-type predicate for group elements that map one set of points onto another given set of points More...

#include <set_image_predicate.h>

Inheritance diagram for permlib::SetImagePredicate< PERM >:

Public Member Functions
template<class InputIterator >
	SetImagePredicate (InputIterator deltaBegin, InputIterator deltaEnd, InputIterator gammaBegin, InputIterator gammaEnd)
	constructor More...
virtual bool	operator() (const PERM &p) const
	true iff group element fulfills predicate
virtual bool	childRestriction (const PERM &h, unsigned int i, unsigned long beta_i) const
	checks if a given group element should not be followed in backtrack search More...
virtual unsigned int	limit () const
	limit of recursion depth in backtrack search More...
Public Member Functions inherited from permlib::SubgroupPredicate< PERM >
virtual	~SubgroupPredicate ()
	virtual destructor

Detailed Description

template<class PERM>
class permlib::SetImagePredicate< PERM >

coset-type predicate for group elements that map one set of points onto another given set of points

holds for a such that for two given sets

Constructor & Destructor Documentation

SetImagePredicate()

template<class PERM >

template<class InputIterator >

permlib::SetImagePredicate< PERM >::SetImagePredicate	(	InputIterator	deltaBegin,
		InputIterator	deltaEnd,
		InputIterator	gammaBegin,
		InputIterator	gammaEnd
	)

constructor

Parameters

deltaBegin	begin iterator for source list of points (unsigned long) mapped to be onto target
deltaEnd	end iterator for source list of points (unsigned long) mapped to be onto target
gammaBegin	begin iterator for target list of points (unsigned long)
gammaEnd	end iterator for target list of points (unsigned long)

Member Function Documentation

childRestriction()

template<class PERM >

bool permlib::SetImagePredicate< PERM >::childRestriction ( const PERM &  h, unsigned int  i, unsigned long  beta_i  ) const

virtual

checks if a given group element should not be followed in backtrack search

If returns false then element h that arises at backtrack level i with corresponding base element beta_i will not extend to a "complete" group element that fulfills the predicate

Parameters

h	(partial) group element, arising in the backtrack search
i	backtrack recursion level
beta_i	base element corresponding to current backtrack recursion level

Implements permlib::SubgroupPredicate< PERM >.

limit()

template<class PERM >

unsigned int permlib::SetImagePredicate< PERM >::limit ( ) const

virtual

limit of recursion depth in backtrack search

only images of the #{limit()} first base points have to be considered

Implements permlib::SubgroupPredicate< PERM >.

---

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

• include/permlib/predicate/set_image_predicate.h