permlib 0.2.9
Library for permutation computations
Loading...
Searching...
No Matches
permlib::VectorStabilizerPredicate< PERM > Class Template Reference

predicate for the subgroup that stabilizes a given integer vector More...

#include <vector_stabilizer_predicate.h>

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

Public Member Functions

template<class InputIterator>
 VectorStabilizerPredicate (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
Public Member Functions inherited from permlib::SubgroupPredicate< PERM >
virtual ~SubgroupPredicate ()
 virtual destructor

Detailed Description

template<class PERM>
class permlib::VectorStabilizerPredicate< PERM >

predicate for the subgroup that stabilizes a given integer vector

Constructor & Destructor Documentation

◆ VectorStabilizerPredicate()

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

constructor

Parameters
beginbegin iterator for an unsigned integer vector to be stabilized
endend iterator for an unsigned integer vector to be stabilized

Member Function Documentation

◆ childRestriction()

template<class PERM>
bool permlib::VectorStabilizerPredicate< 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 >.

◆ limit()

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

◆ operator()()

template<class PERM>
bool permlib::VectorStabilizerPredicate< PERM >::operator() ( const PERM & ) const
virtual

true iff group element fulfills predicate

Implements permlib::SubgroupPredicate< PERM >.


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