33#ifndef CLASSIC_SET_STABILIZER_SEARCH_H_
34#define CLASSIC_SET_STABILIZER_SEARCH_H_
36#include <permlib/search/classic/backtrack_search.h>
37#include <permlib/predicate/setwise_stabilizer_predicate.h>
43template<
class BSGSIN,
class TRANSRET>
46 typedef typename BacktrackSearch<BSGSIN,TRANSRET>::PERM PERM;
60 template<
class InputIterator>
61 void construct(InputIterator begin, InputIterator end);
64template<
class BSGSIN,
class TRANSRET>
69template<
class BSGSIN,
class TRANSRET>
70template<
class InputIterator>
74 this->m_limitLevel = stabPred->
limit();
75 this->m_limitBase = this->m_limitLevel;
76 this->m_limitInitialized =
true;
predicate for the subgroup that stabilizes a given point set
Definition setwise_stabilizer_predicate.h:44
virtual unsigned int limit() const
limit of recursion depth in backtrack search
Definition setwise_stabilizer_predicate.h:89
searching in a group with classical backtracking
Definition backtrack_search.h:50
void construct(SubgroupPredicate< PERM > *pred, bool addPredRefinement)
initializes the search
Definition backtrack_search.h:188
subgroup search for a set stabilizer based on classical backtracking
Definition set_stabilizer_search.h:44
void construct(InputIterator begin, InputIterator end)
initializes search
Definition set_stabilizer_search.h:71
SetStabilizerSearch(const BSGSIN &bsgs, unsigned int pruningLevelDCM)
constructor
Definition set_stabilizer_search.h:65