00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033 #ifndef ORBIT_LIST_H_
00034 #define ORBIT_LIST_H_
00035
00036 #include "transversal/orbit.h"
00037
00038 namespace permlib {
00039
00041 template<class PERM,class DOMAIN>
00042 class OrbitList : public Orbit<PERM,DOMAIN> {
00043 public:
00044 virtual bool contains(const DOMAIN& val) const;
00045
00047 bool empty() const { return m_orbitList.empty(); }
00048
00050
00056 template<class Action>
00057 void orbit(const DOMAIN& beta, const PERMlist &generators, Action a);
00058
00060 ulong size() const { return m_orbitList.size(); }
00061
00062 virtual const DOMAIN& element() const;
00063 protected:
00065 std::list<DOMAIN> m_orbitList;
00066
00067 virtual bool foundOrbitElement(const DOMAIN& alpha, const DOMAIN& alpha_p, const PERMptr& p);
00068 };
00069
00070 template <class PERM,class DOMAIN>
00071 inline bool OrbitList<PERM,DOMAIN>::foundOrbitElement(const DOMAIN& alpha, const DOMAIN& alpha_p, const PERMptr& p) {
00072 typename std::list<DOMAIN>::iterator it = std::lower_bound(m_orbitList.begin(), m_orbitList.end(), alpha_p);
00073 if (*it != alpha_p) {
00074 m_orbitList.insert(it, alpha_p);
00075 return true;
00076 }
00077 return false;
00078 }
00079
00080 template <class PERM,class DOMAIN>
00081 inline bool OrbitList<PERM,DOMAIN>::contains(const DOMAIN& val) const {
00082 return std::binary_search(m_orbitList.begin(), m_orbitList.end(), val);
00083 }
00084
00085 template <class PERM,class DOMAIN>
00086 template<class Action>
00087 inline void OrbitList<PERM,DOMAIN>::orbit(const DOMAIN& beta, const PERMlist &generators, Action a) {
00088
00089 std::list<DOMAIN> orbitList;
00090 Orbit<PERM,DOMAIN>::orbit(beta, generators, a, orbitList);
00091 }
00092
00093 template <class PERM,class DOMAIN>
00094 inline const DOMAIN& OrbitList<PERM,DOMAIN>::element() const {
00095 return *(m_orbitList.begin());
00096 }
00097
00098 }
00099
00100 #endif // -- ORBIT_LIST_H_