permlib
0.2.9
Library for permutation computations
|
coset-type predicate for group elements that map one set of zeros and ones to a lex-smaller set (w.r.t. to the indices) More...
#include <lex_smaller_image_predicate.h>
Public Member Functions | |
template<class ForwardIterator > | |
LexSmallerImagePredicate (unsigned int n, ForwardIterator zerosBegin, ForwardIterator zerosEnd, ForwardIterator onesBegin, ForwardIterator onesEnd) | |
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... | |
![]() | |
virtual | ~SubgroupPredicate () |
virtual destructor | |
coset-type predicate for group elements that map one set of zeros and ones to a lex-smaller set (w.r.t. to the indices)
holds for a such that
permlib::LexSmallerImagePredicate< PERM >::LexSmallerImagePredicate | ( | unsigned int | n, |
ForwardIterator | zerosBegin, | ||
ForwardIterator | zerosEnd, | ||
ForwardIterator | onesBegin, | ||
ForwardIterator | onesEnd | ||
) |
constructor
n | number of points the permutations act on |
zerosBegin | begin iterator to the list of indices with 0-value |
zerosEnd | end iterator to the list of indices with 0-value |
onesBegin | begin iterator to the list of indices with 1-value |
onesEnd | end iterator to the list of indices with 1-value |
|
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
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 >.
|
virtual |
limit of recursion depth in backtrack search
only images of the #{limit()} first base points have to be considered
Implements permlib::SubgroupPredicate< PERM >.