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 SETIMAGEPREDICATE_H_
00034 #define SETIMAGEPREDICATE_H_
00035
00036 #include "subgroup_predicate.h"
00037
00038 #include <boost/foreach.hpp>
00039
00040 namespace permlib {
00041
00043
00046 template <class PERM>
00047 class SetImagePredicate : public SubgroupPredicate<PERM> {
00048 public:
00050
00056 template<class InputIterator>
00057 SetImagePredicate(InputIterator deltaBegin, InputIterator deltaEnd, InputIterator gammaBegin, InputIterator gammaEnd);
00058
00059 virtual bool operator()(const PERM &p) const;
00060 virtual bool childRestriction(const PERM &h, uint i, ulong beta_i) const;
00061 virtual uint limit() const;
00062 private:
00063
00064 std::vector<ulong> m_delta;
00065 std::vector<ulong> m_gamma;
00066 };
00067
00068
00069
00070
00071
00072 template <class PERM>
00073 template<class InputIterator>
00074 SetImagePredicate<PERM>::SetImagePredicate(InputIterator deltaBegin, InputIterator deltaEnd, InputIterator gammaBegin, InputIterator gammaEnd)
00075 : m_delta(deltaBegin, deltaEnd), m_gamma(gammaBegin, gammaEnd)
00076 {
00077 BOOST_ASSERT(m_delta.size() == m_gamma.size());
00078 }
00079
00080
00081 template <class PERM>
00082 bool SetImagePredicate<PERM>::operator()(const PERM &p) const {
00083 BOOST_FOREACH(ulong delta_i, m_delta) {
00084 if (std::find(m_gamma.begin(), m_gamma.end(), p / delta_i) == m_gamma.end())
00085 return false;
00086 }
00087 return true;
00088 }
00089
00090 template <class PERM>
00091 bool SetImagePredicate<PERM>::childRestriction(const PERM &h, uint i, ulong beta_i) const {
00092 if (std::find(m_gamma.begin(), m_gamma.end(), h / beta_i) == m_gamma.end())
00093 return false;
00094 return true;
00095 }
00096
00097 template <class PERM>
00098 uint SetImagePredicate<PERM>::limit() const {
00099 return m_delta.size();
00100 }
00101
00102 }
00103
00104 #endif // -- SETIMAGEPREDICATE_H_