33#ifndef SUBGROUPPREDICATE_H_
34#define SUBGROUPPREDICATE_H_
68 virtual unsigned int limit()
const = 0;
Definition subgroup_predicate.h:41
abstract base class for subgroup (and coset) predicates
Definition subgroup_predicate.h:45
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
virtual ~SubgroupPredicate()
virtual destructor
Definition subgroup_predicate.h:48
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