permlib 0.2.9
Library for permutation computations
Loading...
Searching...
No Matches
set_image_predicate.h
1// ---------------------------------------------------------------------------
2//
3// This file is part of PermLib.
4//
5// Copyright (c) 2009-2011 Thomas Rehn <thomas@carmen76.de>
6// All rights reserved.
7//
8// Redistribution and use in source and binary forms, with or without
9// modification, are permitted provided that the following conditions
10// are met:
11// 1. Redistributions of source code must retain the above copyright
12// notice, this list of conditions and the following disclaimer.
13// 2. Redistributions in binary form must reproduce the above copyright
14// notice, this list of conditions and the following disclaimer in the
15// documentation and/or other materials provided with the distribution.
16// 3. The name of the author may not be used to endorse or promote products
17// derived from this software without specific prior written permission.
18//
19// THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
20// IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
21// OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
22// IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
23// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
24// NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
28// THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29//
30// ---------------------------------------------------------------------------
31
32
33#ifndef SETIMAGEPREDICATE_H_
34#define SETIMAGEPREDICATE_H_
35
36#include <permlib/predicate/subgroup_predicate.h>
37
38#include <boost/foreach.hpp>
39
40namespace permlib {
41
43
46template <class PERM>
48public:
50
56 template<class InputIterator>
57 SetImagePredicate(InputIterator deltaBegin, InputIterator deltaEnd, InputIterator gammaBegin, InputIterator gammaEnd);
58
59 virtual bool operator()(const PERM &p) const;
60 virtual bool childRestriction(const PERM &h, unsigned int i, unsigned long beta_i) const;
61 virtual unsigned int limit() const;
62private:
63 //TODO: perhaps use std::set here?
64 std::vector<unsigned long> m_delta;
65 std::vector<unsigned long> m_gamma;
66};
67
68//
69// ---- IMPLEMENTATION
70//
71
72template <class PERM>
73template<class InputIterator>
74SetImagePredicate<PERM>::SetImagePredicate(InputIterator deltaBegin, InputIterator deltaEnd, InputIterator gammaBegin, InputIterator gammaEnd)
75 : m_delta(deltaBegin, deltaEnd), m_gamma(gammaBegin, gammaEnd)
76{
77 BOOST_ASSERT(m_delta.size() == m_gamma.size());
78}
79
80
81template <class PERM>
83 BOOST_FOREACH(unsigned long delta_i, m_delta) {
84 if (std::find(m_gamma.begin(), m_gamma.end(), p / delta_i) == m_gamma.end())
85 return false;
86 }
87 return true;
88}
89
90template <class PERM>
91bool SetImagePredicate<PERM>::childRestriction(const PERM &h, unsigned int i, unsigned long beta_i) const {
92 if (std::find(m_gamma.begin(), m_gamma.end(), h / beta_i) == m_gamma.end())
93 return false;
94 return true;
95}
96
97template <class PERM>
98unsigned int SetImagePredicate<PERM>::limit() const {
99 return m_delta.size();
100}
101
102}
103
104#endif // -- SETIMAGEPREDICATE_H_
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
Definition set_image_predicate.h:91
SetImagePredicate(InputIterator deltaBegin, InputIterator deltaEnd, InputIterator gammaBegin, InputIterator gammaEnd)
constructor
Definition set_image_predicate.h:74
virtual bool operator()(const PERM &p) const
true iff group element fulfills predicate
Definition set_image_predicate.h:82
virtual unsigned int limit() const
limit of recursion depth in backtrack search
Definition set_image_predicate.h:98
abstract base class for subgroup (and coset) predicates
Definition subgroup_predicate.h:45