abstract base class for subgroup (and coset) predicates More...
#include <subgroup_predicate.h>
Public Member Functions | |
| virtual | ~SubgroupPredicate () |
| virtual destructor | |
| virtual bool | operator() (const PERM &) const =0 |
| true iff group element fulfills predicate | |
| virtual bool | childRestriction (const PERM &h, unsigned int i, unsigned long beta_i) const =0 |
| checks if a given group element should not be followed in backtrack search More... | |
| virtual unsigned int | limit () const =0 |
| limit of recursion depth in backtrack search More... | |
Detailed Description
template<class PERM>
class permlib::SubgroupPredicate< PERM >
abstract base class for subgroup (and coset) predicates
Member Function Documentation
◆ childRestriction()
|
pure 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
Implemented in permlib::VectorStabilizerPredicate< PERM >, permlib::SetwiseStabilizerPredicate< PERM >, permlib::SetImagePredicate< PERM >, permlib::MatrixAutomorphismPredicate< PERM, MATRIX >, permlib::LexSmallerImagePredicate< PERM >, and permlib::GroupIntersectionPredicate< PERM, TRANS >.
◆ limit()
|
pure virtual |
limit of recursion depth in backtrack search
only images of the #{limit()} first base points have to be considered
Implemented in permlib::VectorStabilizerPredicate< PERM >, permlib::SetwiseStabilizerPredicate< PERM >, permlib::SetImagePredicate< PERM >, permlib::MatrixAutomorphismPredicate< PERM, MATRIX >, permlib::LexSmallerImagePredicate< PERM >, and permlib::GroupIntersectionPredicate< PERM, TRANS >.
The documentation for this class was generated from the following file:
- include/permlib/predicate/subgroup_predicate.h
