permlib::partition::GroupRefinementFamily< PERM, TRANS > Class Template Reference

$\mathcal P$-refinements for group membership More...

#include <refinement_family.h>

Inheritance diagram for permlib::partition::GroupRefinementFamily< PERM, TRANS >:
Inheritance graph
[legend]

List of all members.

Public Types

typedef RefinementFamily< PERM >
::RefinementPtr 
RefinementPtr
typedef RefinementFamily< PERM >
::PartitionPtr 
PartitionPtr
typedef RefinementFamily< PERM >
::RefinementPtr 
RefinementPtr
typedef RefinementFamily< PERM >
::PartitionPtr 
PartitionPtr

Public Member Functions

 GroupRefinementFamily (const BSGSCore< PERM, TRANS > &bsgs)
 refinement family for group membership in given group
virtual std::pair
< PartitionPtr, RefinementPtr > 
apply (Partition &pi) const
 tries to initialize a suitable Refinement<PERM> for given partition
 GroupRefinementFamily (const BSGSCore< PERM, TRANS > &bsgs)
 refinement family for group membership in given group
virtual std::pair
< PartitionPtr, RefinementPtr > 
apply (Partition &pi) const
 tries to initialize a suitable Refinement<PERM> for given partition

Detailed Description

template<class PERM, class TRANS>
class permlib::partition::GroupRefinementFamily< PERM, TRANS >

$\mathcal P$-refinements for group membership


Member Function Documentation

template<class PERM , class TRANS >
virtual std::pair<PartitionPtr,RefinementPtr> permlib::partition::GroupRefinementFamily< PERM, TRANS >::apply ( Partition pi  )  const [inline, virtual]

tries to initialize a suitable Refinement<PERM> for given partition

Parameters:
pi partition to initialize the refinement to
Returns:
pair of the result of refinement application and refinement if a strict refinement could be found; NULL-pointers otherwise

Implements permlib::partition::RefinementFamily< PERM >.

template<class PERM , class TRANS >
virtual std::pair<PartitionPtr,RefinementPtr> permlib::partition::GroupRefinementFamily< PERM, TRANS >::apply ( Partition pi  )  const [inline, virtual]

tries to initialize a suitable Refinement<PERM> for given partition

Parameters:
pi partition to initialize the refinement to
Returns:
pair of the result of refinement application and refinement if a strict refinement could be found; NULL-pointers otherwise

Implements permlib::partition::RefinementFamily< PERM >.


The documentation for this class was generated from the following files:
Generated on Fri Jun 18 22:00:29 2010 for PermLib by  doxygen 1.6.3