33 #ifndef CLASSIC_INTERSECTION_SEARCH_H_ 34 #define CLASSIC_INTERSECTION_SEARCH_H_ 36 #include <permlib/search/classic/backtrack_search.h> 37 #include <permlib/predicate/group_intersection_predicate.h> 43 template<
class BSGSIN,
class TRANSRET>
46 typedef typename BacktrackSearch<BSGSIN,TRANSRET>::PERM PERM;
47 typedef typename BacktrackSearch<BSGSIN,TRANSRET>::TRANS TRANS;
63 template<
class BSGSIN,
class TRANSRET>
68 template<
class BSGSIN,
class TRANSRET>
79 #endif // -- CLASSIC_INTERSECTION_SEARCH_H_ void construct(BSGSIN *bsgs2)
initializes search
Definition: intersection_search.h:69
searching in a group with classical backtracking
Definition: backtrack_search.h:50
predicate for the subgroup that arises as the intersection of two given groups
Definition: group_intersection_predicate.h:45
subgroup search for a group intersection based on classical backtracking
Definition: intersection_search.h:44
IntersectionSearch(const BSGSIN &bsgs, unsigned int pruningLevelDCM)
constructor
Definition: intersection_search.h:64
void construct(SubgroupPredicate< PERM > *pred, bool addPredRefinement)
initializes the search
Definition: backtrack_search.h:188
Definition: abstract_bsgs.h:49