permlib 0.2.9
Library for permutation computations
|
stores an orbit in a sorted list More...
#include <orbit_list.h>
Public Member Functions | |
virtual bool | contains (const PDOMAIN &val) const |
true iff there exists a transversal element mapping ![]() | |
bool | empty () const |
true iff orbit is empty (i.e. contains no element at all) | |
template<class Action> | |
void | orbit (const PDOMAIN &beta, const std::list< typename PERM::ptr > &generators, Action a) |
computes orbit of beta under generators | |
size_t | size () const |
number of orbit elements | |
virtual const PDOMAIN & | element () const |
returns one element of the orbit | |
Protected Member Functions | |
virtual bool | foundOrbitElement (const PDOMAIN &alpha, const PDOMAIN &alpha_p, const typename PERM::ptr &p) |
callback when the orbit algorithm constructs an element alpha_p from alpha and p | |
![]() | |
template<class Action> | |
void | orbit (const PDOMAIN &beta, const std::list< typename PERM::ptr > &generators, Action a, std::list< PDOMAIN > &orbitList) |
computes orbit of beta under generators | |
template<class Action> | |
void | orbitUpdate (const PDOMAIN &beta, const std::list< typename PERM::ptr > &generators, const typename PERM::ptr &g, Action a, std::list< PDOMAIN > &orbitList) |
updates an existing orbit of beta after one element has been added | |
Protected Attributes | |
std::list< PDOMAIN > | m_orbitList |
orbit elements as set | |
Additional Inherited Members | |
![]() | |
typedef PERM | PERMtype |
type of permutation used for this orbit | |
stores an orbit in a sorted list
|
inlinevirtual |
true iff there exists a transversal element mapping
Implements permlib::Orbit< PERM, PDOMAIN >.
|
inlinevirtual |
returns one element of the orbit
Implements permlib::Orbit< PERM, PDOMAIN >.
|
inlineprotectedvirtual |
callback when the orbit algorithm constructs an element alpha_p from alpha and p
Implements permlib::Orbit< PERM, PDOMAIN >.
|
inline |
computes orbit of beta under generators
beta | |
generators | |
a | ()-callable structure that defines how a PERM acts on a PDOMAIN-element |