33 #ifndef PARTITION_INTERSECTION_SEARCH_H_ 34 #define PARTITION_INTERSECTION_SEARCH_H_ 36 #include <permlib/search/partition/r_base.h> 37 #include <permlib/predicate/group_intersection_predicate.h> 43 template<
class BSGSIN,
class TRANSRET>
46 typedef typename RBase<BSGSIN,TRANSRET>::PERM PERM;
47 typedef typename RBase<BSGSIN,TRANSRET>::TRANS TRANS;
62 typedef typename RBase<BSGSIN,TRANSRET>::PartitionIt PartitionIt;
65 template<
class BSGSIN,
class TRANSRET>
67 :
RBase<BSGSIN,TRANSRET>(bsgs, pruningLevelDCM)
70 template<
class BSGSIN,
class TRANSRET>
81 #endif // -- PARTITION_INTERSECTION_SEARCH_H_ subgroup search for a group intersection based on partition backtracking
Definition: intersection_search.h:44
void construct(BSGSIN *bsgs2)
initializes search
Definition: intersection_search.h:71
-refinements for group membership
Definition: refinement_family.h:67
predicate for the subgroup that arises as the intersection of two given groups
Definition: group_intersection_predicate.h:45
R-base for partition backtracking.
Definition: r_base.h:56
void construct(SubgroupPredicate< PERM > *pred, RefinementFamily< PERM > *predRefinement)
constructs an R-base for given predicate and refinement family
Definition: r_base.h:115
IntersectionSearch(const BSGSIN &bsgs, unsigned int pruningLevelDCM)
constructor
Definition: intersection_search.h:66
Definition: abstract_bsgs.h:49