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> 43 template<
class BSGSIN,
class TRANSRET>
46 typedef typename BacktrackSearch<BSGSIN,TRANSRET>::PERM PERM;
60 template<
class InputIterator>
61 void construct(InputIterator begin, InputIterator end);
64 template<
class BSGSIN,
class TRANSRET>
69 template<
class BSGSIN,
class TRANSRET>
70 template<
class InputIterator>
84 #endif // -- CLASSIC_SET_STABILIZER_SEARCH_H_ SetStabilizerSearch(const BSGSIN &bsgs, unsigned int pruningLevelDCM)
constructor
Definition: set_stabilizer_search.h:65
searching in a group with classical backtracking
Definition: backtrack_search.h:50
bool m_limitInitialized
true iff other m_limit variables have been initialized
Definition: base_search.h:108
predicate for the subgroup that stabilizes a given point set
Definition: setwise_stabilizer_predicate.h:44
subgroup search for a set stabilizer based on classical backtracking
Definition: set_stabilizer_search.h:44
void construct(SubgroupPredicate< PERM > *pred, bool addPredRefinement)
initializes the search
Definition: backtrack_search.h:188
unsigned int m_limitLevel
maximal backtrack level
Definition: base_search.h:112
unsigned int m_limitBase
number of base points that correspond to maximal backtrack level m_limitLevel
Definition: base_search.h:110
virtual unsigned int limit() const
limit of recursion depth in backtrack search
Definition: setwise_stabilizer_predicate.h:89
void construct(InputIterator begin, InputIterator end)
initializes search
Definition: set_stabilizer_search.h:71
Definition: abstract_bsgs.h:49