33 #ifndef SUBGROUPPREDICATE_H_ 34 #define SUBGROUPPREDICATE_H_ 51 virtual bool operator()(
const PERM &)
const = 0;
62 virtual bool childRestriction(
const PERM &h,
unsigned int i,
unsigned long beta_i)
const = 0;
68 virtual unsigned int limit()
const = 0;
73 #endif // -- SUBGROUPPREDICATE_H_ virtual unsigned int limit() const =0
limit of recursion depth in backtrack search
virtual bool operator()(const PERM &) const =0
true iff group element fulfills predicate
Definition: subgroup_predicate.h:41
abstract base class for subgroup (and coset) predicates
Definition: subgroup_predicate.h:45
virtual ~SubgroupPredicate()
virtual destructor
Definition: subgroup_predicate.h:48
Definition: abstract_bsgs.h:49
virtual bool childRestriction(const PERM &h, unsigned int i, unsigned long beta_i) const =0
checks if a given group element should not be followed in backtrack search