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 >:
Inheritance graph
[legend]

List of all members.

Public Member Functions

template<class InputIterator >
 SetImagePredicate (InputIterator deltaBegin, InputIterator deltaEnd, InputIterator gammaBegin, InputIterator gammaEnd)
 constructor
virtual bool operator() (const PERM &p) const
 true iff group element fulfills predicate
virtual bool childRestriction (const PERM &h, uint i, ulong beta_i) const
 checks if a given group element should not be followed in backtrack search
virtual uint limit () const
 limit of recursion depth in backtrack search
template<class InputIterator >
 SetImagePredicate (InputIterator deltaBegin, InputIterator deltaEnd, InputIterator gammaBegin, InputIterator gammaEnd)
 constructor
virtual bool operator() (const PERM &p) const
 true iff group element fulfills predicate
virtual bool childRestriction (const PERM &h, uint i, ulong beta_i) const
 checks if a given group element should not be followed in backtrack search
virtual uint limit () const
 limit of recursion depth in backtrack search

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 $g$ such that $\Delta^g = \Gamma$ for two given sets $\Delta,\Gamma$


Constructor & Destructor Documentation

template<class PERM >
template<class InputIterator >
permlib::SetImagePredicate< PERM >::SetImagePredicate ( InputIterator  deltaBegin,
InputIterator  deltaEnd,
InputIterator  gammaBegin,
InputIterator  gammaEnd 
) [inline]

constructor

Parameters:
deltaBegin begin iterator for source list of points (ulong) mapped to be onto target
deltaEnd end iterator for source list of points (ulong) mapped to be onto target
gammaBegin begin iterator for target list of points (ulong)
gammaEnd end iterator for target list of points (ulong)
template<class PERM>
template<class InputIterator >
permlib::SetImagePredicate< PERM >::SetImagePredicate ( InputIterator  deltaBegin,
InputIterator  deltaEnd,
InputIterator  gammaBegin,
InputIterator  gammaEnd 
) [inline]

constructor

Parameters:
deltaBegin begin iterator for source list of points (ulong) mapped to be onto target
deltaEnd end iterator for source list of points (ulong) mapped to be onto target
gammaBegin begin iterator for target list of points (ulong)
gammaEnd end iterator for target list of points (ulong)

Member Function Documentation

template<class PERM>
virtual bool permlib::SetImagePredicate< PERM >::childRestriction ( const PERM &  h,
uint  i,
ulong  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 >.

template<class PERM >
bool permlib::SetImagePredicate< PERM >::childRestriction ( const PERM &  h,
uint  i,
ulong  beta_i 
) const [inline, 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 >.

template<class PERM>
virtual uint 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 >.

template<class PERM >
uint permlib::SetImagePredicate< PERM >::limit (  )  const [inline, 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 files:
Generated on Fri Jun 18 21:59:50 2010 for PermLib by  doxygen 1.6.3