permlib::GroupIntersectionPredicate< PERM, TRANS > Class Template Reference

predicate for the subgroup that arises as the intersection of two given groups More...

#include <group_intersection_predicate.h>

Inheritance diagram for permlib::GroupIntersectionPredicate< PERM, TRANS >:

List of all members.

Public Member Functions
	GroupIntersectionPredicate (const BSGS< PERM, TRANS > &g, const BSGS< PERM, TRANS > &h)
	constructor
virtual bool	operator() (const PERM &p) const
	true iff group element fulfills predicate
virtual bool	childRestriction (const PERM &h, unsigned int i, unsigned long beta_i) const
	checks if a given group element should not be followed in backtrack search
virtual unsigned int	limit () const
	limit of recursion depth in backtrack search

---

Detailed Description

template<class PERM, class TRANS>
class permlib::GroupIntersectionPredicate< PERM, TRANS >

predicate for the subgroup that arises as the intersection of two given groups

---

Constructor & Destructor Documentation

template<class PERM , class TRANS >

permlib::GroupIntersectionPredicate< PERM, TRANS >::GroupIntersectionPredicate	(	const BSGS< PERM, TRANS > &	g,
		const BSGS< PERM, TRANS > &	h
	)

constructor

Parameters:

g	first subgroup of the intersection
h	second subgroup of the intersection

---

Member Function Documentation

template<class PERM , class TRANS >

bool permlib::GroupIntersectionPredicate< PERM, TRANS >::childRestriction	(	const PERM &	h,
		unsigned int	i,
		unsigned long	beta_i
	)		const [virtual]

checks if a given group element should not be followed in backtrack search

If returns false then element h that arises at backtrack level i with corresponding base element beta_i will not extend to a "complete" group element that fulfills the predicate

Parameters:

h	(partial) group element, arising in the backtrack search
i	backtrack recursion level
beta_i	base element corresponding to current backtrack recursion level

Implements permlib::SubgroupPredicate< PERM >.

template<class PERM , class TRANS >

unsigned int permlib::GroupIntersectionPredicate< PERM, TRANS >::limit

(

)

const [virtual]

limit of recursion depth in backtrack search

only images of the #{limit()} first base points have to be considered

Implements permlib::SubgroupPredicate< PERM >.

---

The documentation for this class was generated from the following file:

• include/permlib/predicate/group_intersection_predicate.h