predicate for the subgroup that stabilizes a given integer vector More...
#include <vector_stabilizer_predicate.h>
Inheritance diagram for permlib::VectorStabilizerPredicate< PERM >:
Public Member Functions | |
| template<class InputIterator > | |
| VectorStabilizerPredicate (InputIterator begin, InputIterator end) | |
| 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::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
-
begin begin iterator for an unsigned integer vector to be stabilized end end iterator for an unsigned integer vector to be stabilized
Member Function Documentation
◆ childRestriction()
template<class PERM >
|
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 >
|
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/vector_stabilizer_predicate.h
