permlib  0.2.6
Library for permutation computations
 All Classes Functions Variables Typedefs Enumerations Friends
Public Member Functions
permlib::SetwiseStabilizerPredicate< PERM > Class Template Reference

predicate for the subgroup that stabilizes a given point set More...

#include <setwise_stabilizer_predicate.h>

Inheritance diagram for permlib::SetwiseStabilizerPredicate< PERM >:
permlib::SubgroupPredicate< PERM >

List of all members.

Public Member Functions

template<class InputIterator >
 SetwiseStabilizerPredicate (InputIterator begin, InputIterator end)
 constructor
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
virtual unsigned int limit () const
 limit of recursion depth in backtrack search

Detailed Description

template<class PERM>
class permlib::SetwiseStabilizerPredicate< PERM >

predicate for the subgroup that stabilizes a given point set


Constructor & Destructor Documentation

template<class PERM >
template<class InputIterator >
permlib::SetwiseStabilizerPredicate< PERM >::SetwiseStabilizerPredicate ( InputIterator  begin,
InputIterator  end 
)

constructor

Parameters:
beginbegin iterator for list of points (unsigned long) to be stabilized
endend iterator for list of points (unsigned long) to be stabilized

Member Function Documentation

template<class PERM >
bool permlib::SetwiseStabilizerPredicate< 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
ibacktrack recursion level
beta_ibase element corresponding to current backtrack recursion level

Implements permlib::SubgroupPredicate< PERM >.

template<class PERM >
unsigned int permlib::SetwiseStabilizerPredicate< 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: