33 #ifndef CLASSIC_SET_IMAGE_SEARCH_H_ 34 #define CLASSIC_SET_IMAGE_SEARCH_H_ 36 #include <permlib/search/classic/backtrack_search.h> 37 #include <permlib/predicate/set_image_predicate.h> 46 template<
class BSGSIN,
class TRANSRET>
49 typedef typename BacktrackSearch<BSGSIN,TRANSRET>::PERM PERM;
65 template<
class InputIterator>
66 void construct(InputIterator begin, InputIterator end, InputIterator beginImg, InputIterator endImg);
69 template<
class BSGSIN,
class TRANSRET>
74 template<
class BSGSIN,
class TRANSRET>
75 template<
class InputIterator>
79 this->m_limitLevel = stabPred->
limit();
80 this->m_limitBase = this->m_limitLevel;
81 this->m_limitInitialized =
true;
89 #endif // -- CLASSIC_SET_IMAGE_SEARCH_H_ SetImageSearch(const BSGSIN &bsgs, unsigned int pruningLevelDCM)
constructor
Definition: set_image_search.h:70
void construct(InputIterator begin, InputIterator end, InputIterator beginImg, InputIterator endImg)
initializes search
Definition: set_image_search.h:76
searching in a group with classical backtracking
Definition: backtrack_search.h:50
coset-type predicate for group elements that map one set of points onto another given set of points ...
Definition: set_image_predicate.h:47
virtual unsigned int limit() const
limit of recursion depth in backtrack search
Definition: set_image_predicate.h:98
coset representative search for a set image based on classical backtracking
Definition: set_image_search.h:47
void construct(SubgroupPredicate< PERM > *pred, bool addPredRefinement)
initializes the search
Definition: backtrack_search.h:188
Definition: abstract_bsgs.h:49